=1){ session_destroy(); echo ''; }else{ $_SESSION['UltimoIngreso']=$HORA; } ?>