document.write('1694\n');