var imageFiles_ed_25 = new Array();
imageFiles_ed_25['0'] = new Array ('_images/ed_HOME.gif', '_images/ed_HOMEMouseover.gif');

function image_on_ed_25 (position) {
   var doc = eval("document.imageed_25" + position);
   doc.src = imageFiles_ed_25[position][1];
}

function image_off_ed_25 (position) {
   var doc = eval("document.imageed_25" + position);
   doc.src = imageFiles_ed_25[position][0];
}