function nav_roll_in(target)
{
  if (document.getElementById)
  {
    document.getElementById(target).style.visibility = "visible";
  }
}
  
function nav_roll_out(target)
{
  if (document.getElementById)
  {
    document.getElementById(target).style.visibility = "hidden";
  }
}