<!--
 img1on = new Image();
 img1on.src = "gifs/agen_roll.gif";
 img1off = new Image();
 img1off.src = "gifs/default.gif";

 img2on = new Image();
 img2on.src = "gifs/cbo_roll.gif";
 img2off = new Image();
 img2off.src = "gifs/default.gif";

 function imgAct(imgName) {
  document["circle_gif"].src = eval(imgName + "on.src");
 }
 function imgInact(imgName) {
  document["circle_gif"].src = eval(imgName + "off.src");
 }
 // -->