function buttonhighlight(id,lang)
{
	var elem = document.getElementById(id);
	var picname = "/images/menubutton_" + lang + "/" + id + "_over.gif";
	elem.src = picname;
}


function buttonunhighlight(id,lang)
{
	var elem = document.getElementById(id);
	var picname = "/images/menubutton_" + lang + "/" +id +"_up.gif";
	elem.src = picname;
}