document.write ("7942");