// programas.js
// $Id: programas.js,v 1.1 2007/06/05 15:41:13 jesteves Exp $

function jump_to(P) {

	document.forma_progs.Prog.value = P + ".pl";
	document.forma_progs.submit();
	
}
function redireccion(N) {
	     option = get_selected_option(N);
		 location.href = option;
	     N.selectedIndex = 0;
}
function valida() {

		if ( document.crear.nformato.selectedIndex == 0){ 
			 alert("Debe de Seleccionar un Formato para continuar");
		}
	    else if ( document.crear.nbiblioteca.selectedIndex == 0 ){
			 alert("Debe de Seleccionar una Biblioteca para continuar");
		}
		else{
			 document.crear.submit();	
		}
}