// JavaScript Document
function DivSetVisibility(id, visibility)
{
  if (document.getElementById)
  {
    document.getElementById(id).style.visibility = visibility;
  }
}

function DivHide(id)
{
  DivSetVisibility(id, "hidden");
}

function DivShow(id)
{
  DivSetVisibility(id, "visible");
}