\n"; $destination = "php-dev@php.iquest.net"; #$destination = "rasmus@lerdorf.on.ca"; function indent($string, $prefix) { $string = ereg_replace(13, "", $string); /* get rid of Ctrl-M */ return $prefix . ereg_replace("\n", "\n$prefix", $string) . "\n"; } function show_state_options($state, $show_all) { if ($state) { echo "