', '>', $str); return $str; } # html attributes (eg