document.write ("5842");