function getdiv(id_p)
{
 if (document.getElementById) { return document.getElementById(id_p); }
 else if (document.all) { return eval("document.all." + id_p); }
 else { return eval("document." + id_p); }
}

function showmini(mini_p, visibility_p)
{
  if ((img = document.images[mini_p]) != null)
  {
    img.style.visibility = visibility_p;
  }
}

function swapphoto(photo_p)
{
  if ((img = document.images['zoom']) != null)
  {
    img.src = photo_p;
  }
}