document.write ("11942");