del_session(); ?> <?php __("Disconnected"); ?>