var onImages=new Array();
function Rollover(imgName, imgSrc)
{
	onImages[imgName] = new Image();
	onImages[imgName].src = imgSrc;
}

function turnOn(imgName){ 
	if(document.images[imgName].filters != null)
		document.images[imgName].filters[0].apply();
	
	document.images[imgName].offSrc = document.images[imgName].src;
	document.images[imgName].src  = onImages[imgName].src;
	
	if(document.images[imgName].filters != null)
		document.images[imgName].filters[0].play();
}

function turnOff(imgName){ 
	if(document.images[imgName].filters != null)
		document.images[imgName].filters[0].play();
	document.images[imgName].src = document.images[imgName].offSrc;	
}

//Specify name of participating images, plus paths to their onMouseover replacements:
Rollover("property",  "./images/bath-student-properties-box-on.jpg");
Rollover("letting", "./images/bath-student-letting-info-box-on.jpg");
Rollover("location", "./images/bath-student-property-locations-box-on.jpg");