function $(objid) {
  return document.getElementById(objid) ? document.getElementById(objid):false;
}

function HSubmenu(mid,display) {
  var ch = $('hmainmenu-'+mid).childNodes;
  var s = ch.length;
  for (i=0;i<s;i++) {
    rel = ch[i].getAttribute('rel');
    if (rel!=null && rel.search('hsubmenu-'+mid)!=-1) {
      ch[i].style.display=display;
    }
  }
}