HEADER1; if(isset($custom_header)) { echo $custom_header; } echo <<
HEADER2; ?>