document.write('1689\n');