document.write('1274\n');