str = str.replace(re, "<pre>$1</pre>");