var     ns  = (document.layers);                // ns4x
var     dom = (document.getElementById);        // DOM compatible browser (ie6+, ns6+, mozilla...)
var     ie  = (document.all);                   // ie4x

/**
        Affiche le menu demande
*/
function        showMenu(id)
{
  var nbf = 9;

  for (var i = 1; i <= nbf; i++)
    {
      if (ie)
	m = document.all['sm' + i];
      else if (ns || dom)
	m = document.getElementById('sm' + i);
      if (m && m.style.display == '')
	m.style.display = 'none';
    }
  if (ie)
    m = document.all['sm' + id];
  else if (ns || dom)
    m = document.getElementById('sm' + id);
  if (m && m.style.display == 'none')
    m.style.display = '';
}