$header
EOF; ?>