document.write('<a href="index.html">Home</a> | ');

document.write('<a href="history.html">About</a> | ');

document.write('<a href="products.html">Products</a> | ');

document.write('<a href="services.html">Services</a> | ');

document.write('<a href="clients.html">Clients</a> | ');

document.write('<a href="industries.html">Industries</a> | ');

document.write('<a href="news.html">News &amp; Events</a> | ');

document.write('<a href="contact.html">Contact</a>  ');