// JScript File
function $(id){
    return document.getElementById(id);
}

function submitenter(e){
    var keycode;
    var target;
    
    if (window.event) {
        target = window.event.srcElement; 
        keycode = window.event.keyCode;
        
    } else if (e){ 
        keycode = e.which; 
        target = e.target;
        
    } else 
        return true;
  

    if (keycode == 13){
        return buscar();
    }else
        return true;
}