'; echo $output_string_menu; echo '
'; if(isset($_SESSION['hideMenu'])) { if($_SESSION['hideMenu'] =="shown") { if (isset($_cid) ) { echo '
'; echo '
'; } } } else { if (isset($_cid) ) { echo '
'; echo '
'; } } } } ?>