document.write('1269\n');