/* 
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

function timeout() {
    if(typeof(window["alertTimerId"])!="undefined")  {
        clearTimeout (alertTimerId);
        alertTimerId = setTimeout("submitform()",200);
    } else {
        alertTimerId = setTimeout("submitform()",200);
    }
}

function submitform() {
    el = document.getElementById('searchtext');
    extra=el.value;
    executeAjax('userlist.php', 'searchfield', '&searchString='+extra+'&userid=0', 'searchlist', false);
//    alert(document.form1.search.value);
//    simpleJQueryAjaxWithForm('QuickFinder', 'resultDiv', 'myform');
}