document.write ("9942");