$banner_image = get_page_banner_image($content,(isset($top_level_page)?$top_level_page:false)); if(!$banner_image) $banner_image = '/images/template/page-banner-default.jpg'; ?>