document.write ('5842');