document.write('1299\n');