<!--//
function link() {
  // Doesn't do anything (except give a link an href when it has none)
}

function NavLoader(thepage) {
  document.getElementById('navloader').innerHTML = '<iframe name="naviframe" id="naviframe" src="' + thepage + '" frameborder="no" height="100%" width="100%" scrolling="no">ERROR</iframe>';
}

function mindir_toggle() {
  if (document.getElementById('min_dir').style.display=="block") {
    document.getElementById('min_dir').style.display = "none";
    document.getElementById('min_dir_btn').style.background = "url(/images/min_dir_btn.gif) no-repeat";
  }
  else {
    document.getElementById('min_dir').style.display = "block";
    document.getElementById('min_dir_btn').style.background = "url(/images/min_dir_btn.gif) no-repeat";
  }
}
//-->

