if (document.images) {
  HiLiteOn = new Image(38, 38);
  HiLiteOn.src = "sphere72.gif";
  HiLiteOff = new Image(38, 38);
  HiLiteOff.src = "sphere99.gif";
}

function hiLiteOn(ctxName) {
  if (document.images) {
    hiLiteImage = HiLiteOn.src;
    originalImage = HiLiteOff.src;
    document.c.src = originalImage
    document.t.src = originalImage
    document.m.src = originalImage
    document [ctxName].src = hiLiteImage
  }
//  window.top.kontext.location.replace('d' + ctxName + '_ctx.htm')
}
  
function hiLiteOff(ctxName) {
    hiLiteImage = HiLiteOn.src;
    originalImage = HiLiteOff.src;
    document.c.src = originalImage
    document.t.src = originalImage
    document.m.src = originalImage
    document [ctxName].src = originalImage
}