var imageFiles_w3_33 = new Array();
imageFiles_w3_33['0'] = new Array ('_images/w3_HOME.gif', '_images/w3_HOMEMouseover.gif');

function image_on_w3_33 (position) {
   var doc = eval("document.imagew3_33" + position);
   doc.src = imageFiles_w3_33[position][1];
}

function image_off_w3_33 (position) {
   var doc = eval("document.imagew3_33" + position);
   doc.src = imageFiles_w3_33[position][0];
}