document.write('8085 ');