document.write("     8086");