// JavaScript Document
function selectTab(num) {
  for (var i=1; i <= 3; i++) {
    document.getElementById("tab" + i).className = "";
    document.getElementById("box" + i).className = "infobox";
  }
  document.getElementById("tab" + num).className = "hnavactive";
  document.getElementById("box" + num).className = "infobox enabled";
}
function hideTab(num) {
  for (var i=1; i <= 3; i++) {
    document.getElementById("tab" + i).className = "hnavactive";
    document.getElementById("box" + i).className = "infobox enabled";
  }
  document.getElementById("tab1").className = "";
  document.getElementById("tab2").className = "";
  document.getElementById("tab3").className = "";
  document.getElementById("box1").className = "infobox";
  document.getElementById("box2").className = "infobox";
  document.getElementById("box3").className = "infobox";
}

function toTop() {
        self.scrollTo(0, 0)
}