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