document.write ("18042");