this is header.php, an include file using the php include() function.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------