wacko reformat

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(/\([xх]\)/g, '(×)'); s = s.replace(/(<-->)/g, '↔');s = s.replace(/(-->)/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(/\((eur|еур|ЕУР|EUR)\)/g, '€');t.value = s; } void 0