 <!-- comment inserted for Internet Explorer -->
var DOMLevel1 = (document.createElement && document.getElementsByTagName);
var mouseOns = new Array();
window.onload = init;
bigthumb = document.getElementById('bigthumb');
function mouseOn()
{
document.getElementById("bigthumb").src= mouseOns[this.number].src;
}
function init()
{
if (!DOMLevel1) return;
var gallery = document.getElementById('imagegallery');
if (gallery != null)
{
	var imgs = gallery.getElementsByTagName('img');
	for (var i=0;i<imgs.length;i++)
	{
	var ext = imgs[i].src.substring(imgs[i].src.lastIndexOf('.'));

	mouseOns[i] = new Image();
	mouseOns[i].src = imgs[i].src.substring(0,imgs[i].src.lastIndexOf('_')) + "/News/showimage" + ext;
	imgs[i].number = i;
	imgs[i].onmouseover = mouseOn;

	}
}
}