var imageFiles_v5_31 = new Array();
imageFiles_v5_31['0'] = new Array ('_images/v5_Back_to_Manufacturer_Page.gif', '_images/v5_Back_to_Manufacturer_PageMouseover.gif');

function image_on_v5_31 (position) {
   var doc = eval("document.imagev5_31" + position);
   doc.src = imageFiles_v5_31[position][1];
}

function image_off_v5_31 (position) {
   var doc = eval("document.imagev5_31" + position);
   doc.src = imageFiles_v5_31[position][0];
}