function dispAdminMenu() { $str = ' '; if ($_SESSION["user_right"] >= $GLOBALS["PRIV_GUEST"]) { $str .= '