function hover_button(id, selected)
{
	var but_obj = document.getElementById(id);
	but_obj.src= "/images/" + id + (selected ? "2" : "1") + ".gif";
}