{if !isset($_GET['hide_menu']) || !$_GET['hide_menu']} {if isset($menu) && $menu && !$is_ajax}
{/if}
{else}
{/if}