$value) { echo "$header: $value
\n"; } ?>