function changeMenuIndex(divTop, divBottom1, divBottom2, divBottom3)
{
  document.getElementById(divTop).style.zIndex = 4;
  document.getElementById(divBottom1).style.zIndex = 3;
  document.getElementById(divBottom2).style.zIndex = 2;
  document.getElementById(divBottom3).style.zIndex = 1;
}