document.write('1294\n');