var imageFiles_30_23 = new Array();
imageFiles_30_23['0'] = new Array ('_images/30_RUBBER_MOLDED_SEALS.gif', '_images/30_RUBBER_MOLDED_SEALSMouseover.gif');

function image_on_30_23 (position) {
   var doc = eval("document.image30_23" + position);
   doc.src = imageFiles_30_23[position][1];
}

function image_off_30_23 (position) {
   var doc = eval("document.image30_23" + position);
   doc.src = imageFiles_30_23[position][0];
}