var timeout    = 500;
var closetimer = 0;
      
function jsddm_open() {  
  jsddm_canceltimer();
  jsddm_close();
  $('submenu1').setStyle({visibility: 'visible'});
}
      
function jsddm_close() {  
  $('submenu1').setStyle({visibility: 'hidden'});
}
      
function jsddm_timer() {  
  closetimer = window.setTimeout(jsddm_close, timeout);
}
      
function jsddm_canceltimer() {  
  if(closetimer) {  
    window.clearTimeout(closetimer);
    closetimer = null;
  }
}