document.write ("8942");