var imageFiles_4_15 = new Array();
imageFiles_4_15['0'] = new Array ('_images/4_HOME.gif', '_images/4_HOMEMouseover.gif');
imageFiles_4_15['1'] = new Array ('_images/4_CONTACTS.gif', '_images/4_CONTACTSMouseover.gif');

function image_on_4_15 (position) {
   var doc = eval("document.image4_15" + position);
   doc.src = imageFiles_4_15[position][1];
}

function image_off_4_15 (position) {
   var doc = eval("document.image4_15" + position);
   doc.src = imageFiles_4_15[position][0];
}