function roll_over(img_name, img_src, img_href)
{
	document[img_name].src = img_src;
	//document.getElementById('ProductImageHref').href = img_href;
	document.getElementById('ProductImageHref').title = img_href;
}