0 ) and ( strlen( $_SESSION[ "benutzer_anmeldename" ] ) > 0 ) ) { header( "Location: system_redir_zum_dokument.php?dok_id=".$_GET[ "dok_id" ] ); } if ( strlen( $_SESSION[ "benutzer_anmeldename" ] ) > 0 ) { header( "Location: us_uebersicht.php" ); } $_SESSION[ "body" ] = "onload=\"document.login.elements[ 'sprache' ].readOnly = true;document.login.elements[ 'benutzer_anmeldename' ].focus();\""; $_SESSION[ "title" ] = "Web-Applikationen Login"; $_SESSION[ "css" ] = "index.php"; include( "ssi_header.php" ); $_SESSION[ "body" ] = ""; $_SESSION[ "title" ] = ""; $_SESSION[ "css" ] = ""; // //login_animation ?>
?>