function change(id)
{
   if (document.getElementById(id).style.display=="none")
      {document.getElementById(id).style.display='' }
   else
      {document.getElementById(id).style.display="none" }
}

function ovr(id)
{
  document.images[id].style.borderColor = "#ff0000"
}

function out(id)
{
  document.images[id].style.borderColor = "#ffffff"
}