document.write('1292\n');