<!-- Hide from non-JavaScript browsers
for (i = 0; i <= fName.length-1; i++) 
    { externalRef = fName[i].substr(0,4) == "http"; // before I had IIS
      if ( !externalRef && fNameInitialMatch (fName[i], thisfName()) )
	  // -- Highlight inactive link for the current page ----------
	  document.writeln ('<span class=navBold>' + linkText[i] + '</span>');
      else
	{ // -- Write out live links for the other pages ----------
	  ref = fName [i];
	  document.write ('<span class=navTop>');
	  document.write ('<a href="' + baseURL + ref + '"');
	  if (navigator.appName != "Netscape") document.write (' title="' + popUpText[i] + '"');
	  document.writeln ('>' + linkText[i] + '</a></span>');
	}
      if (i < fName.length-1)
	document.write (' | ');	    
    }  

// -->
