<? if (empty($page_title)) { $page_title = $site_title; } print $page