document.write("8042 ");