protected static function _stripNon7BitChars($text) { return preg_replace('/[^\\x09\\x0A\\x0D\\x20-\\x7E]/', '', $text); }