echo "$header_content";