var imageFiles_o9_1 = new Array();
imageFiles_o9_1['0'] = new Array ('_images/o9_Maintenance.gif', '_images/o9_MaintenanceMouseover.gif');

function image_on_o9_1 (position) {
   var doc = eval("document.imageo9_1" + position);
   doc.src = imageFiles_o9_1[position][1];
}

function image_off_o9_1 (position) {
   var doc = eval("document.imageo9_1" + position);
   doc.src = imageFiles_o9_1[position][0];
}