document.write('1275\n');