function menu(element) {
i = 0;
while (e = document.getElementById("m" + i++)) {
  e.style.display = "none";
}
document.getElementById(element).style.display = "inline";
}
menu('m0');