javascriptで置換の処理

スマホとかだとなかなか置換ツールが見当たらなかったりするので 先頭にdata:text/html, をつけてブックマークに登録しておくと便利です。
valueに入力した文字列のpreに該当する文字列をpostに置き換えます。

<!DOCTYPE html>
<html>
<head>
<title>Do</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<script language="JavaScript">
function doScript(val){var post=document.getElementById("b").value;
var pre=document.getElementById("c").value;
document.getElementById("a").value=val.split(pre).join(post);
}
</script>

<form id="editor" action="/search" method="GET" onsubmit="doScript(this.val.value); return false;">
<textarea name="val" >
 value</textarea>
<input type="submit" value="DoScript"/>
</form>

<textarea id="a">result</textarea>
<textarea id="b">post</textarea>
<textarea id="c">pre</textarea>
</body>
</html>