// this provides the swap image script for menu buttons 

 function hiLite(imgName,imgObjName) {
  if (document.images) {
    document.images[imgName].src = eval(imgObjName + ".src");
  }}