document.write('1065\n');