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