echo "\n"; echo "\n"; echo "
".$header_content."
\n"; echo "\n";