<?php print(isset($header["title"])?$header["title"]:$config