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