function $(id) {
            return document.getElementById(id);
          }
    function setTypeSearch() {
        var i;
        for (i = 0; i < document.buscador.servidor.length; i++) {
            if (document.buscador.servidor[i].checked){
                search_type = document.buscador.servidor[i].value;
            }
        }
       return search_type;
    }
    /*function setTypeSearch(type) {
            $('buscador').action = 'http://descargatump3.com/'+type+'.php';  
          }*/
    function sendSearch() {
            //window.location = 'http://descargatump3.com/'+setTypeSearch()+'.php?v='+escape($('v').value);
            window.location = 'http://descargatump3.com/'+setTypeSearch()+'.php?v='+$('v').value;
            return false;  
        }