var imageFiles_25a_13 = new Array();
imageFiles_25a_13['0'] = new Array ('_images/25a_Events.gif', '_images/25a_EventsMouseover.gif');

function image_on_25a_13 (position) {
   var doc = eval("document.image25a_13" + position);
   doc.src = imageFiles_25a_13[position][1];
}

function image_off_25a_13 (position) {
   var doc = eval("document.image25a_13" + position);
   doc.src = imageFiles_25a_13[position][0];
}