<? if(isset($headerTitle) ) echo $headerTitle; else echo 'PDC';?>