'; if($_SESSION['profile']['loggedin']==1)echo ''.Menue_03.''; else echo ''.Menue_02.''; if($_SESSION['profile']['language']=='DE')echo ' '.Menue_01.''; else echo ' '.Menue_01.''; if($_SESSION['profile']['loggedin']==1)echo ' Info'; echo ''; echo '
\n"; ?>