// JScript source code
function activelink(link_id)
{
  doc = document.getElementById(link_id);
  doc.className = "Nav_active";
}

function reveal(div_id)
{
  doc = document.getElementById(div_id);
  doc.style.display="block";
  doc.style.visibility="visible";
}

function hide(div_id)
{
  doc = document.getElementById(div_id);
  doc.style.display="none";
  doc.style.visibility="hidden";
}