document.write('1246\n');