del_session(); if (!isset($charset) || ! $charset) $charset="UTF-8"; @header("Content-Type: text/html; charset=$charset"); ?> <?php __("Disconnected"); ?>