function hiLite(imgDocID,imgObjName)
{
// manages mouseOver animations
//   imgDocID - the name or number of the document image to be replaced
//   imgObjName - the name of the image object to be swapped in

  if ((document.images)) document.images[imgDocID].src = eval(imgObjName + ".src")
}

{
var b1 = new Image();
b1.src = "pr04.gif";
var b1_over = new Image();
b1_over.src = "pr04a.gif";

var b2 = new Image();
b2.src = "pr05.gif";
var b2_over = new Image();
b2_over.src = "pr05a.gif";

var b3 = new Image();
b3.src = "pr05.gif";
var b3_over = new Image();
b3_over.src = "pr05a.gif";
}