document.write('1725\n');