document.write('3942\n');