var timer = null;

function show(id, status) {
  hideall();

  if (status == 1)
    clearInterval(timer);

  if (document.getElementById)
    document.getElementById(id).style.display="inline";
  else if (document.all)
    document.all[id].style.display="inline";
  else if (document.layers)
    document.layers[id].display="inline";
}

function hide(id) { 
  if (document.getElementById)
    document.getElementById(id).style.display="none";
  else if (document.all)
    document.all[id].style.display="none";
  else if (document.layers)
    document.layers[id].display="none";
}

function hide2(id) {
  var id2 = "hide('" + id + "')";

  clearInterval(timer);
  timer = setInterval(id2, 1100);
}

function hideall() {
  hide('smenu-corp');
  hide('smenu-serv');
  hide('smenu-prod');
}
