document.writeln("8086");