document.write('1051\n');