$=function(id){return document.getElementById(id);}
$("result").innerHTML=$("textarea").toString().replace(/\s/g," ").replace(/\r\n/g,"
");