var imageFiles_4b_25 = new Array();
imageFiles_4b_25['0'] = new Array ('_images/4b_Menus.gif', '_images/4b_MenusMouseover.gif');
imageFiles_4b_25['1'] = new Array ('_images/4b_Catering.gif', '_images/4b_CateringMouseover.gif');

function image_on_4b_25 (position) {
   var doc = eval("document.image4b_25" + position);
   doc.src = imageFiles_4b_25[position][1];
}

function image_off_4b_25 (position) {
   var doc = eval("document.image4b_25" + position);
   doc.src = imageFiles_4b_25[position][0];
}