session_start();
global $ss_authenticated;
#echo "session auth:".$ss_authenticated."
";
if (session_is_registered("ss_authenticated"))
{
session_unregister ("ss_authenticated");
unset ($ss_authenticated);
#echo "session auth:".$ss_authenticated."
";
}
?>