var buttons = [ "woman", "children", "EKO", "ER", "stomatology", "programs", "labs", "education", "drugstore" ];

function buttonHover(buttonNo)
{
	var button = document.getElementById("button" + buttonNo);
	button.src = "/pics/hover/b0" + buttonNo + "-" + buttons[buttonNo - 1] + ".gif";
}

function buttonUnHover(buttonNo)
{
	var button = document.getElementById("button" + buttonNo);
	button.src = "/pics/b0" + buttonNo + "-" + buttons[buttonNo - 1] + ".gif";
}