function hover(id,out){
	if(out){out = "";}
	else{out = "_f2";}
	document.getElementById(id).src="./img/menu_"+(id)+(out)+".gif";
}

function over(id){
	id = "id" + id;
	document.getElementById(id).style.background="#FFFFFF none";
}
function out(id){
	id = "id" + id;
	document.getElementById(id).style.background="#FFFFFF url('./img/back_heading.jpg')";
}