var LAST_ACTIVE = null;

function onMenuOut ()
{
  if ( null == LAST_ACTIVE) return;
  var a = document.getElementById(LAST_ACTIVE);
  if(null != a)
    a.style["backgroundColor"] = "";
}

function onMenuOver ( num )
{
  var id = 'over'+num;
  var a = document.getElementById(id);
  if(null != a)
    a.style["backgroundColor"] = "#7bb2d8";

  if ( id == LAST_ACTIVE ) return;

  if(null != LAST_ACTIVE) {
    var b = document.getElementById(LAST_ACTIVE);
    if(null != b)
      b.style["backgroundColor"] = "";
  }
  LAST_ACTIVE = 'over'+num;
}