document.write('4246\n');