function Menu_Over(b){
	a=document.getElementById('menu'+b)
	a.src=a.src.substring(0,a.src.length-4)+"_over.gif"
}
function Menu_Normal(b){
	a=document.getElementById('menu'+b)
	a.src=a.src.substring(0,a.src.length-9)+".gif"
}