<!--

/**
 * MouseoverImage
 * 
 * Adds onmouseover and onmouseout functionality to the specified trigger,
 * with the target being the image to change.
 */
function MouseoverImage(triggerID,targetID,imageName)
{
	var trigger = document.getElementById(triggerID);
	var targ = document.getElementById(targetID);
	
	this.over = function()
	{
		img = new Image();
		img.src = "/img/"+imageName+"-on.gif";
		targ.src = img.src;
	}
	
	this.out = function()
	{
		img = new Image();
		img.src = "/img/"+imageName+"-off.gif";
		targ.src = img.src;
	}
	
	trigger.onmouseover = this.over;
	trigger.onmouseout = this.out;
}

/**
 * Property Thumbnails
 */
function thumbnail_click(triggerID,targetID,imageName)
{
	var trigger = document.getElementById(triggerID);
	var targ = document.getElementById(targetID);
	
	targ.src = "/img/properties/"+imageName;
	targ.alt = trigger.alt;
}

// -->