function setfocus() {
		document.form.a.focus();
		}
	
	var input;
	function seleccionar(seleccionado){
		//input será mi select
		input = document.getElementById("provincias");
		//desselecciono los que estén seleccionados
		desseleccionar();
		//recorro ese vector y en cada vuelta veo si el valor de
		//las opciones del select coincide con el valor del vector
		//que se está evaluando
	    for(j=0;j<input.options.length;j++){
		//si no coincide, sigo; si coincide, pongo el atributo 
		//selected a true
	        if(input.options[j].text==seleccionado)
	          input.options[j].selected=1;
	    }
	    document.buscador.submit();
	}
	
	function desseleccionar(){
	//recorro el arbol de opciones del select y pongo
	//a false el atributo selected
	    for(j=0;j<input.options.length;j++){
	        input.options[j].selected=0;
	    }
	}