document.write ('1842');