function buttonhighlight(id)
{
	var elem = document.getElementById(id);
	var picname = "/images/menubuttons/" + id + "_over.jpg";
	elem.src = picname;
}


function buttonunhighlight(id)
{
	var elem = document.getElementById(id);
	var picname = "/images/menubuttons/" + id + "_up.jpg";
	elem.src = picname;
}