function Swap(b){
	a=document.getElementById('menu'+b)
	a.src=a.src.substring(0,a.src.length-4)+"_active.gif"
}
function SwapBack(b){
	a=document.getElementById('menu'+b)
	a.src=a.src.substring(0,a.src.length-11)+".gif"
//	alert(a.src)
}