var anim_idx = -1;

function setimage(name,value) {
  if(document.getElementById) {
    img = document.getElementById(name); 
    img.src = value;
  }
  else {
    document.images[name].src = value;
  }
}

function anim_image(idx,over) { 
  if(idx==anim_idx) 
    return; 
  setimage("anim_image_anim_anim", anim_images_anim_anim[idx]); 
  anim_idx = idx;
}