// JavaScript Document

function ActivateMenu(option)
{
  document.getElementById(option).src = "images/menu_" + option + "-on.png";
}

function DeactivateMenu(option)
{
  document.getElementById(option).src = "images/menu_" + option + "-off.png";
}

function ActivateButton(option)
{
  document.getElementById(option).src = "images/button_" + option + "-on.png";
}

function DeactivateButton(option)
{
  document.getElementById(option).src = "images/button_" + option + "-off.png";
}