document.write('1806\n');