function changeimage(num,nom) 
{
	var img = document.getElementById(nom);
	if (num == 1) 
	{
		img.src = "images/seta3.gif";
	} else
		if(num == 3)
		{ 
			img.src = "images/seta.gif";
		}
		else
		{
			img.src = "images/seta2.gif";
		}
}

function menudestaque(lnk,nom) 
{
	var img = document.getElementById(nom);
	img.src = lnk;
}