document.write('1697\n');