// JavaScript Document

function changeMenuOver(element,source){
	newfilename = source.replace("_off.gif","_on.gif");
	document[element].src = newfilename;	
}

function changeMenuOut(element,source){
	newfilename = source.replace("_on.gif","_off.gif");
	document[element].src = newfilename;	
}