En el archivo apre.php:
if(isset($_SESSION['num_doc'])){
echo"<script>alert('MENSAJE DE BIENVENIDA');</script>";
}else{
echo "Aqui deberias enviarlo a iniciar sesion";
}
Tengo mucho sin usar PHP, no lo he probado. Espero te ayude.
NOTA: Si una sesión se ha creado y destruido en la misma ejecución, isset ($ _ SESSION)isset ($ _ SESSION)
devolverá verdadero . Y esta situación puede ocurrir sin que usted lo sepa cuando se usa un código de terceros. Sin embargo, devuelve correctamente una cadena vacía, y lo puedes llamar antes de .session_destroy()session_id()session_start(). Si no, tendras problemas.
ESTE ARGUMENTO VIENE DE AQUI