{if isset($display_hr_os_banner) and (!$display_hr_os_banner)} {/if}