function bajaFichero(ruta,fichero) {
			var f = document.getElementById("miformulario");
			f.ruta.value=ruta;
			f.fichero.value=fichero;
			f.submit();
		}