echo "\n"; echo "\n"; echo "

".$header_content."

\n";