document.write ("80942");