function over(arg) {
	if(document.images && document.images[arg].highlight) {
	document.images[arg].src = document.images[arg].highlight.src;
	}
}
function out(arg) {
	if(document.images && document.images[arg].initial) {
	document.images[arg].src = document.images[arg].initial.src;
	}
}
function preLoad() {
	if(document.images) {
		for(i = 0; i < document.images.length; i++)
		{
			var suffixStart = document.images[i].src.lastIndexOf("_0.gif");
			if(suffixStart >= 0) {
				// It's a rollover
				var initial = new Image();
				// Record initial image
				initial.src = document.images[i].src;
				document.images[i].initial = initial;
				// Load & record highlight image
				var highlight = new Image();
				highlight.src = document.images[i].src.substring(0, suffixStart) + "_1.gif";
				document.images[i].highlight = highlight;
			}
		}
	}
}