function swapMenu(num,etat,sport) {
	document["menu"+num].src = '_images/menu/'+sport+'/menu'+num+etat+'.gif';
}