"> <?=$header_title;?> \n"; } if(isset($header_flux)) { foreach($header_flux as $flux_info) echo "\n"; } ?>
";