function ro (imgName, imgState)
{
  document.getElementById("menu" + imgName).src = "images/menu_0" + imgState + "_0" + imgName + ".gif";
}