// uncomment the commented out regions to get a nice navy bar
// down the right side of each image.

function show(id)
{
  var item = document.getElementById(id);
  item.style.border = "2px solid red";
  //if(item.childNodes[1].className == "pic") {
  //  item.childNodes[1].style.borderRight = "2px solid red";
  //}

  item = document.getElementById('tiny' + id);
  item.style.border = "1px solid red";
}

function hide(id)
{
  var item = document.getElementById(id);
  item.style.border = "2px solid navy";
  //if(item.childNodes[1].className == "pic") {
  //  item.childNodes[1].style.borderRight = "2px solid navy";
  //}

  item = document.getElementById('tiny' + id);
  item.style.border = "1px solid navy";
}

function goto(loc)
{
  location.href = loc;
}