document.write('8086 ');