document.write ("8042");