function hilightImage(image)
{                              
 // image is DOM node id and base for filename
  var ele = document.getElementById(image);
  var img = './images/' + image + '_hi.gif';
  ele.setAttribute('src', img);
  window.status = image;
}

function dimImage(image)
{
  var ele = document.getElementById(image);
  var img = './images/' + image + '.gif';
  ele.setAttribute('src', img);
  window.status = '';
}

function viewImage(img)
{ // img = image id   
  // photo.html searches for <input type=hidden id=imagefolder value="foldername">
  // in opener
  window.open('./photo.html', img, 'resizable=yes, scrollbars, location=no, status=no, menubar=yes');
}