var imageFiles_7c_40 = new Array();
imageFiles_7c_40['0'] = new Array ('_images/7c_For_Sale.gif', '_images/7c_For_SaleMouseover.gif');

function image_on_7c_40 (position) {
   var doc = eval("document.image7c_40" + position);
   doc.src = imageFiles_7c_40[position][1];
}

function image_off_7c_40 (position) {
   var doc = eval("document.image7c_40" + position);
   doc.src = imageFiles_7c_40[position][0];
}