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


np = 4
links = new Object();
links[0] = "abstracts.php";
links[1] = "search_abs.php";
links[2] = "word-frequency-list.php";
links[3] = "author-index.php";
links[4] = "call-for-papers.php";

names = new Object();
names[0] = "Abstracts";
names[1] = "Search";
names[2] = "Word Frequency List";
names[3] = "Author Index";
names[4] = "Call for Papers (Submit an Abstract)";

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>');