// JavaScript Document

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

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