//preload button images:
if (isDOM) {
  commanda = new Image(85, 60);
  commanda.src = "/images/LeftBarButton.gif";
  commandb = new Image(85, 60);
  commandb.src = "/images/LeftBarButtonSelect.gif";
}

// This function changes the image associated with the imgDocID
// and changes the color of the associated text using the same ID.
// If cacheFlag is .true., imgObjName is the name of a cached image (above).
// Otherwise, it is the relative path for the image.
function hiLite(imgDocID, imgObjName, cacheFlag, textColor, comment)
{
  if (isDOM)
  {
    if (cacheFlag)
      document.getElementById(imgDocID).src = eval(imgObjName + ".src");
    else
      document.getElementById(imgDocID).src = imgObjName;
//    document.images[imgDocID].src = eval(imgObjName + ".src");

    var textID = imgDocID + 'text';
    if (textColor)
      document.getElementById(textID).firstChild.style.color = textColor;
    window.status = comment;
    return true;
  }
}