document.write ("18242");