' . Get_Text($page) . ''; if ($menu != "") $menu = ''; return $menu; } function make_menu() { return make_navigation() . make_langselect(); } function make_langselect() { if (strpos($_SERVER["REQUEST_URI"], "?") > 0) $URL = $_SERVER["REQUEST_URI"] . "&SetLanguage="; else $URL = $_SERVER["REQUEST_URI"] . "?SetLanguage="; $html = '

DE'; $html .= 'EN

'; return ''; } ?>