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