function topmenu(){
      document.write('<span class="top"><A class="port" href="index.html"><b>Home</b></a><img src="images/spacer.gif" width="10" height="1">| <img src="images/spacer.gif" width="10" height="1"><a class="port" href="about.html"><b>About Us</b></a><img src="images/spacer.gif" width="10" height="1">|<img src="images/spacer.gif" width="10" height="1"><a class="port" href="portfolio.html"><b>Portfolio</b></a><img src="images/spacer.gif" width="10" height="1">|<img src="images/spacer.gif" width="10" height="1"><a class="port" href="contact.html"><b>Contact Us</b></a></span>');
}