document.write ("20942");