document.write ("18942");