document.write("

"+ " "+ " Systems"+ " | "+ " Controllers"+ " | "+ " Disk Products"+ " | "+ " Tape Products"+ " | "+ " Printers"+ " | "+ " Terminals"+ " | "+ " Communications"+ " | "+ " Misc."+ "

"+ " ");