function shiftMenu(n)
{
var el = document.getElementById('Menu'+n);
  if ( el.style.display == 'none' )
    el.style.display = 'block'
  else
    if ( el.style.display == 'block' )
    el.style.display = 'none';
};
