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

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

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

document.write('     <a href="investors.html">Investors</a> ');