/*
  functions for home icon
*/

function show()
{
  document.getElementById('home').style.visibility = "visible";
}

function hide()
{
  document.getElementById('home').style.visibility = "hidden";
}

function highlight()
{
  document.getElementById('house').src = "images/house_highlighted.gif";
}

function lowlight()
{
  document.getElementById('house').src = "images/house.gif";
}