document.write('1262\n');