document.write('1696\n');