var imageFiles_4x_373 = new Array();
imageFiles_4x_373['0'] = new Array ('_images/4x_Whirlpool.gif', '_images/4x_WhirlpoolMouseover.gif');

function image_on_4x_373 (position) {
   var doc = eval("document.image4x_373" + position);
   doc.src = imageFiles_4x_373[position][1];
}

function image_off_4x_373 (position) {
   var doc = eval("document.image4x_373" + position);
   doc.src = imageFiles_4x_373[position][0];
}