document.write ("10942");