document.write("8008 ");