if( headerLevel == 0 ) {
   x = ""; }
 else if( headerLevel == 1 ) {
   x = ""; }
 else if( headerLevel == 2 ) {
   x = "../"; }
 else if( headerLevel == 3 ) {
   x = "../../"; }


np = 5
links = new Object();
links[0] = "travel.php";
links[1] = "travel_best.php";
links[2] = "travel_directions.php";
links[3] = "travel_events.php";
links[4] = "travel_tourist.php";
links[5] = "travel_weather.php";

names = new Object();
names[0] = "Background Info";
names[1] = "Best Ways to get to the Meeting";
names[2] = "Directions";
names[3] = "Other Events";
names[4] = "Tourist Guides";
names[5] = "Weather";

document.writeln('<h1>');
for( i = 0; i <= np; i++ ) {
document.writeln(' | ');
  if( headerState2 == names[i] ) {
    document.writeln(names[i]);
  }
  else {
    document.writeln('<a href="',x,links[i],'">',names[i],'</a>');
  }
}
document.writeln(' | ');
document.writeln('</h1>');