a01=new Image(25,31)
      a01.src="basis/t-adobe.gif"
      a01_x=new Image(25,31)
      a01_x.src="basis/m-adobe.gif"

    function hiLite(imgDocID,imgObjName) {
        document.images[imgDocID].src = eval(imgObjName + "_x" + ".src")
      }

        
    function hiLite2(imgDocID,imgObjName) {
        document.images[imgDocID].src = eval(imgObjName + ".src")
      }