/* ----- setfocus.js ----- */
function setFocusToSearchText() {
   if(!W3CDOM){return false};
   inputobject=document.getElementById('searchText');
   try{
       if(inputobject.focus){
           inputobject.focus();
           if(inputobject.select){
                inputobject.select();
                return
           }
       }
    }
   catch(e){}
}