function HighlightButton( buttonPath, buttonName ){
  if ( buttonName != null ) {
    myPath = path + "images/";
    if ( buttonPath != null ) {
      myPath = myPath + buttonPath + "/";
    }
    document.images[ buttonName ].src = myPath + buttonName + "_hl.gif";
  }
}

function UnhighlightButton( buttonPath, buttonName ){
  if ( buttonName != null ) {
    myPath = path + "images/";
    if ( buttonPath != null ) {
      myPath = myPath + buttonPath + "/";
    }
    document.images[ buttonName ].src = myPath + buttonName + ".gif";
  }
}