if (document.all)
  document.write("<style>IMG.VW {border: navy double 4px}</style>");

function highlight(object, newcolor) {
 if (!document.layers) {
  if (newcolor=="") {
   object.style.color = "green";  
   if (document.images[object.id + "_pic"]) {
    picture = document.images[object.id + "_pic"];
    picture.style.border = "green double 4px"
   }
  }
  else {
   object.style.color = newcolor;  
   if (document.images[object.id + "_pic"]) {
    picture = document.images[object.id + "_pic"];
    picture.style.border = newcolor + " double 4px";
   }
  }
 }
}

function restore(object, oldcolor) {
 if (!document.layers) {
  if (oldcolor=="") {
   object.style.color = "navy";  
   if (document.images[object.id + "_pic"]) {
    picture = document.images[object.id + "_pic"];
    picture.style.border = "navy double 4px";
   }
  } 
  else {
   object.style.color = oldcolor;  
   if (document.images[object.id + "_pic"]) {
    picture = document.images[object.id + "_pic"];
    picture.style.border = oldcolor + " double 4px";
   }
  }
 }
}