$value) // echo "'".$key."': '".$value."'
\n"; ?>