javascript:for(i=0;t=document.getElementsByTagName('textarea')[i];++i) 
{ s = t.value; 
s = s.replace(/(\s+|^)"([^"]+?)"(\s+|$|\.|\,|\?|\!|\:)/g, '$1«$2»$3'); 
s = s.replace(/\((tm|тм|TM|ТМ)\)/g, '™'); 
s = s.replace(/\([cсCС]\)/g, '©'); 
s = s.replace(/\([rRрР]\)/g, '®'); 
s = s.replace(/(\s+|^)--?(\s+)/g, '$1—$2'); 
s = s.replace(/\*{2}(.*?)\*{2}/g, '<b>$1</b>'); 
s = s.replace(/\/{2}(.*?)\/{2}/g, '<i>$1</i>'); 
s = s.replace(/-{2}(.*?)-{2}/g, '<s>$1</s>'); 
s = s.replace(/_{2}(.*?)_{2}/g, '<u>$1</u>'); 
s = s.replace(/(\d+)-(\d+)/g, '$1–$2'); 
s = s.replace(/\.\.\./g, '…'); 
s = s.replace(/(<-->)/g, '↔');
s = s.replace(/(-->)/g, '→');
s = s.replace(/\((eur|еур|ЕУР|EUR)\)/g, '€');
t.value = s; } 
void 0