get_title(); echo <<
$title
$title
HEADER; include_once("classes/navigation_bar.php"); ?>