function overmenu(id, url)
{
	var menuElement = document.getElementById(id);
	menuElement.setAttribute("src","images/"+url);
};
function outmenu(id, url)
{
	var menuElement = document.getElementById(id);
	menuElement.setAttribute("src","images/"+url);
};