// JavaScript Document
document.write ('<ul id="nav"><li class="about"><a href="about.html">About</a></li><li>&nbsp;&nbsp;|&nbsp;&nbsp;</li><li class="products"><a href="products-overview.html">Products/Solutions</a></li><li>&nbsp;&nbsp;|&nbsp;&nbsp;</li><li class="services"><a href="services.html">Services</a></li><li>&nbsp;&nbsp;|&nbsp;&nbsp;</li><li class="industries"><a href="industries.html">Industries</a></li><li>&nbsp;&nbsp;|&nbsp;&nbsp;</li><li class="it-platforms"><a href="it-platforms.html">IT Platforms</a></li><li>&nbsp;&nbsp;|&nbsp;&nbsp;</li><li class="contact"><a href="contact.html">Contact</a></li><li>&nbsp;&nbsp;|&nbsp;&nbsp;</li><li class="demo"><a href="demo.html">Free Demo/Info</a></li></ul>')