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

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