document.write('3966\n');