function is_whitespace ( $ch )
        {
#-k     string type is
#-      only applies to a single character

        $c = ord ( $ch );

        if ($c <= 32) return true;                      # space, lf, cr, tab, etc

        return false;
        }

?>