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

      a02=new Image(150,60)
      a02.src="basis/t-zapiste.gif"
      a02_x=new Image(150,60)
      a02_x.src="basis/m-zapiste.gif"

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

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