var imageFiles_f_25 = new Array();
imageFiles_f_25['0'] = new Array ('_images/f_ONLINE_CATALOG.gif', '_images/f_ONLINE_CATALOGMouseover.gif');

function image_on_f_25 (position) {
   var doc = eval("document.imagef_25" + position);
   doc.src = imageFiles_f_25[position][1];
}

function image_off_f_25 (position) {
   var doc = eval("document.imagef_25" + position);
   doc.src = imageFiles_f_25[position][0];
}