if (!isset($_SERVER['PHP_AUTH_USER'])) { $_SERVER['PHP_AUTH_USER']='gast'; } session_start(); if (!isset ($_SESSION['user']) || ($_SESSION['user']=='gast')) { $_SESSION['user'] = $_SERVER['PHP_AUTH_USER']; }?>