document.write("<font size=2 color=#FFFFFF>");
document.write("<a href=radar.html>Radar</a>");
document.write(" - <a href=telephone.html>Telephone</a>");
document.write(" - <a href=television.html>Television</a>");
document.write(" - <a href=boiler.html>Boiler</a>");
document.write(" - <a href='operating_system.html'>Operating System</a>");