document.write('<SCRIPT="Javascript">'
  + '<center><form>'
  + '<a href="index.html">MAIN PAGE</a>'
  + '&nbsp; &nbsp;'
  + '<a href="prices.html">Estimates</a>'
  + '&nbsp; &nbsp;'
  + '<a href="paypal.html">Credit Payments</a>'
  + '&nbsp; &nbsp;'
  + '<a href="what_now.html">Next Steps</a>'
  + '</form>'
  + '</script>'
  + '<!-- '
  + 'The original generation of this page was done by '
  + 'http://www.moock.org/webdesign/javascript/client-side-include/ '
  + '-->'
  + ''
  + '<HR></center>'
  + '');