'.$locale['006'].$_SESSION["nombre"].'

'; }else{ echo '

'.$locale['007'].'

'; } ?>

menuLateral($usuario); // ver_menus(); ?>