var line1 =
"<table BORDER=1 CELLSPACING=1 CELLPADDING=1 FRAME='vsides' RULES='cols' WIDTH='100%' BGCOLOR='#A4D2F3' >" +
"<tr><td><center><a HREF='http://sakharov.net/foundation.html'>Math Foundations</a></center></td>" +
"<td><center><a HREF='http://sakharov.net/logic.html'>Logical Laws</a></center></td>" +
"<td><center><a HREF='http://sakharov.net/sequent.html'>Sequent Calculus</a></center></td>" +
"<td><center><a HREF='http://sakharov.net/intuitionisticplus.html'>Intuitionistic Logic +</a></center></td>" +
"<td><center><a HREF='http://sakharov.net/foundation.html'>Triangles</a></center></td></tr>" +
"</table>";

var line2 =
"<table BORDER=1 CELLSPACING=1 CELLPADDING=1 FRAME='vsides' RULES='cols' WIDTH='100%' BGCOLOR='#A4D2F3' >" +
"<tr><td><center><a HREF='http://sakharov.net/fsmtutorial.html'>Finite State Machines</a></center></td>" +
"<td><center><a HREF='http://sakharov.net/propagation.html'>Constant Propagation +</a></center></td>" +
"<td><center><a HREF='http://sakharov.net/graph.html'>Recursive Types in Java</a></center></td>" +
"</table>";

var line3 =
"<table BORDER=1 CELLSPACING=1 CELLPADDING=1 FRAME='vsides' RULES='cols' WIDTH='100%' BGCOLOR='#A4D2F3' >" +
"<tr><td><center><a HREF='http://sakharov.net/badminton'>Badminton</a></center></td>" +
"<td><center><a HREF='http://sakharov.net/skiing/nhski.html'>NH Skiing</a></center></td>" +
"<td><center><a HREF='http://sakharov.net/skiing/'>Junior Skiing</a></center></td>" +
"<td><center><a HREF='http://sakharov.net/puzzle/'>Puzzles</a></center></td>" +
"</table>";

var line4 =
"<table BORDER=1 CELLSPACING=1 CELLPADDING=1 FRAME='vsides' RULES='cols' WIDTH='100%' BGCOLOR='#A4D2F3' >" +
"<tr><td><center><a HREF='http://sakharov.net/trip.html'>Travel</a></center></td>" +
"<td><center><a HREF='http://sakharov.net/whale.html'>Whales</a></center></td>" +
"<td><center><a HREF='http://sakharov.net/nouveau.html'>Art Nouveau</a></center></td>" +
"<td><center><a HREF='http://sakharov.net/airshow.html'>Air Show</a></center></td>" +
"<td><center><a HREF='http://sakharov.net/nh.html'>New Hampshire</a></center></td></tr>" +
"</table>";

// ---
function showAHdrLinks() {

  hideAHdrLinks_int();

  if( document.all ) { // ie
    document.all["ahdrlinks"].innerHTML = line1 + "\n" + line2 + "\n" + line3 + "\n" + line4;
  } else {
    document.getElementById("ahdrlinks").innerHTML = line1 + "\n" + line2 + "\n" + line3 + "\n" + line4;
  }

  if( document.all ) {
            document.all.ahdrlinks.style.visibility = 'visible';
  }
  if( !document.all && document.getElementById ) {
            document.getElementById("ahdrlinks").style.visibility = 'visible';
  }

}
function hideAHdrLinks() {
  setTimeout("hideAHdrLinks_int();", 10000);
}
function hideAHdrLinks_int() {

  if( document.all ) {
            //ie
            document.all.ahdrlinks.style.visibility = 'hidden';
  }
  if( !document.all && document.getElementById ) {
            //NN6
            document.getElementById("ahdrlinks").style.visibility = 'hidden';
  }
}

// ---
function showHdrLinks(n) {

  hideHdrLinks_int();

  if( document.all ) {
            //ie
      if ( n == 1 ) {
        document.all["hdrlinks1"].innerHTML = line1;
        document.all.hdrlinks1.style.visibility = 'visible';
      }
      if ( n == 2 ) {
        document.all["hdrlinks2"].innerHTML = line2;
        document.all.hdrlinks2.style.visibility = 'visible';
      }
      if ( n == 3 ) {
        document.all["hdrlinks3"].innerHTML = line3;
        document.all.hdrlinks3.style.visibility = 'visible';
      }
      if ( n == 4 ) {
        document.all["hdrlinks4"].innerHTML = line4;
        document.all.hdrlinks4.style.visibility = 'visible';
      }
  }
  if( !document.all && document.getElementById ) {
    if ( n == 1 ) {
      document.getElementById("hdrlinks1").innerHTML = line1;
      document.getElementById("hdrlinks1").style.visibility = 'visible';
    }
    if ( n == 2 ) {
      document.getElementById("hdrlinks2").innerHTML = line2;
      document.getElementById("hdrlinks2").style.visibility = 'visible';
    }
    if ( n == 3 ) {
      document.getElementById("hdrlinks3").innerHTML = line3;
      document.getElementById("hdrlinks3").style.visibility = 'visible';
    }
    if ( n == 4 ) {
      document.getElementById("hdrlinks4").innerHTML = line4;
      document.getElementById("hdrlinks4").style.visibility = 'visible';
    }
  }
}

function hideHdrLinks() {
  setTimeout("hideHdrLinks_int();", 7000);
}
function hideHdrLinks_int() {

  if( document.all ) {
            //ie
            document.all.hdrlinks1.style.visibility = 'hidden';
            document.all.hdrlinks2.style.visibility = 'hidden';
            document.all.hdrlinks3.style.visibility = 'hidden';
            document.all.hdrlinks4.style.visibility = 'hidden';
  }
  if( !document.all && document.getElementById ) {
            //NN6
            document.getElementById("hdrlinks1").style.visibility = 'hidden';
            document.getElementById("hdrlinks2").style.visibility = 'hidden';
            document.getElementById("hdrlinks3").style.visibility = 'hidden';
            document.getElementById("hdrlinks4").style.visibility = 'hidden';
  }
}