r body = document.getElementById("info94").value;
body = body.replace(/ | /ig,"");
body = body.replace(/\r\n/ig,"\n");
body = body.replace(/\n\n/ig,"\n");
body = body.replace(/\n\n/ig,"\n");
body = body.replace(/\n\n/ig,"\n");
body = body.replace(/\n\n/ig,"\n");
body = body.replace(/\n/ig," \n");
body = body.replace(/本文由([^.]+)贡献/ig,"");
body = body.replace(/http:([^.]+)com/ig,"");
body = body.replace(/http:([^.]+)cn/ig,"");
document.getElementById("info94").value=body;