'.'Pantallainicial()'.''; // require('config.php'); header('Location:'.$CFG->wwwroot.'/Programas/passprincipal.php'); ?>