<?php
	@session_start();

	$_SESSION[ "benutzer_anmeldename" ]		= "";
	$_SESSION[ "mandant" ]					= "";
	$_SESSION[ "sprache" ]					= "";
	$_SESSION[ "meldung" ]					= "Sie wurden erfolgreich ausgeloggt.";
	$_SESSION[ "javascript_dateien" ]		= "";
	$_SESSION[ "javascript_startup" ]		= "";
	$_SESSION[ "css_dateien" ]				= "";
	$_SESSION[ "title" ]					= "";
	$_SESSION[ "body" ]						= "";
	$_SESSION[ "fav_ordnername" ]			= "";
	
	session_destroy ( );
	
	Header("Location: index.php");

?>
