<!--
  function set_image(im, active)
  {
    if(active)
      im.src = im.src.replace(".gif", "_act.gif");
    else
      im.src = im.src.replace("_act.gif", ".gif");
      
    //im.reload();
  
  }
//-->