document.write('1266\n');