$menu
"; } $content = '

Hello '.$username.'.

This is the private section of the autocontrollo.ch website.
What do you wish to do?
'.$list.'

'; echo $content; }