// write navigation bar
function writeNavigBar() {
  for (var iii=0; iii<navigBar.length; iii++) {
    if (navigBar[iii].url) {
      document.write("<A HREF='javascript:;' ID='navigBarAnchor" + iii + "' CLASS='linkNavigbar'>" + navigBar[iii].label + "</A>");
      if (document.getElementById) var navigBarAnchor = document.getElementById("navigBarAnchor" + iii);
      else if (document.all) var navigBarAnchor = document.all["navigBarAnchor" + iii];
       if (navigBarAnchor) navigBarAnchor.href=navigBar[iii].url;
    } else
        document.write(navigBar[iii].label);
    if (iii < navigBar.length-1) document.write(" / ");
  }
}