function getElementsByClass(needle) {
  var  my_array = document.getElementsByTagName("div");
  var  retvalue = new Array();
  var  i;
  var  j;

  for (i = 0, j = 0; i < my_array.length; i++)
  {
    var c = " " + my_array[i].className + " ";
    if (c.indexOf(" " + needle + " ") != -1)
      retvalue[j++] = my_array[i];
  }
  return retvalue;
}

function hideLocalNav() {
  var divs = getElementsByClass("localtabs");
  var numdivs = divs.length;

  for (i = 0; i < numdivs; i++) {
    divs[i].style.display = "none";
  }
}

function showLocalNav(nav) {
  this.hideLocalNav();
  document.getElementById(nav).style.display = "block";
}