document.write(" 8042");