<?php echo $header; ?>