function submitenter(myfield,e){
    var keycode;
    if (window.event){
            keycode = window.event.keyCode;    
    }
    else{
        if (e){
            keycode = e.which;
        }
        else{
            return true;
        }
    }
    if (keycode == 13){
        makeRequest('./ajax/doSearch.php','pattern='+document.getElementById('search').value,'searchResultSpace'); return false;
        return false;
    }
    else{
        return true;
    }
}