function setupImageHover(imgElem, altSrc) {
	var origSrc = imgElem.src;

	imgElem.onmouseover = function(){ imgElem.src = altSrc; };
	imgElem.onmouseout = function(){ imgElem.src = origSrc; };
}

function init() {
	if (!document.getElementById) {
		return;
	}

	var visionImg = document.getElementById("HoverVision");
	var aimsImg   = document.getElementById('HoverAims');
	var valuesImg = document.getElementById('HoverValues');

	if (visionImg)
		setupImageHover(visionImg, '/images/Hover-Vision-words.png');

	if (aimsImg)
		setupImageHover(aimsImg, '/images/Hover-Aims-words.png');

	if (valuesImg)
		setupImageHover(valuesImg, '/images/Hover-Values-words.png');
}


// Image hovers only work on IE - given IE's non conformance to CSS :(

if(navigator.appName == "Microsoft Internet Explorer")
{
    window.onload = init;
}