rem: kb_defocus(); 
add: kb_focus(this.listener.id, DIR_DOWN); 
context:   el.onfocus = function()   {     if (this.listener.id != focussedListener)    {      kb_defocus(); // Another element was focussed before.    }    focussedListener = this.listener.id;   }
meta: 1654	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1654/74feaaef79491b6d317e0107ca05b67027aa99fd/keyboardhandler.js/clean/keyboard/javascript/keyboardhandler.js