// JavaScript Document
function rollOver(img, gif) {
	var img;
	img.src = "/Static/images/gui/navigation_" + gif + "_over.gif";
	}

function rollOut(img, gif) {
	var img;
	img.src = "/Static/images/gui/navigation_" + gif + "_out.gif";
	}