document.write('1842\n');