/* Extra spacing after the javascript menu */
  document.write("<br /><br />");