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

function image_on_7c_55 (position) {
   var doc = eval("document.image7c_55" + position);
   doc.src = imageFiles_7c_55[position][1];
}

function image_off_7c_55 (position) {
   var doc = eval("document.image7c_55" + position);
   doc.src = imageFiles_7c_55[position][0];
}