function getElt(id){
	return document.getElementById(id);
}
function overmenu(arg){
	if(arg!=selectedMenu){
		elt = getElt("menu"+arg);
		elt.style.backgroundImage ="url('./gfx/images/11.jpg')";
	}
}

function outmenu(arg){
	if(arg!=selectedMenu){
		elt = getElt("menu"+arg);
		elt.style.backgroundImage ="url('')";
	}
}

function overLogo(arg){
	elt = eval("document.images.logo"+arg);
	elt.src = "./gfx/logos/"+arg+"_color.jpg";
}

function outLogo(arg){
	elt = eval("document.images.logo"+arg);
	elt.src = "./gfx/logos/"+arg+"_bg.jpg";
}