var menu = null;
var menuOn = 0;
window.onload = init;

function init() {
   menu = document.getElementById('menu');
   }

function show(n) {
   if (menu) {
     if (menuOn==n) {
       menu.className = '';
       menuOn = 0;
       }
      else {
       menu.className = 'sub'+n;
       menuOn = n;
       }
     }
   }