document.write('1693\n');