function buscador(){

 document.getElementById("busca").submit();
 

}

function buscador_2009(){

 document.getElementById("busca").submit();
 

}