document.write('1025\n');