document.write ("80042");