html编制一个从字符串中收集数字字符（"0"',"1"，…"9"）的函数CollectDigits(s)，它从字符串s中顺序取出数字，并且合并为一个独立的字符串作为函数的返回值。例如函数调用CollectDigits("1abc23def4"）的返回值是字符串"1234"。

您可以使用以下代码编写一个函数 CollectDigits(s)，该函数从字符串 s 中提取数字字符并合并为一个独立的字符串返回：

<script>
function CollectDigits(s) {
  var result = "";
  
  for (var i = 0; i < s.length; i++) {
    if (!isNaN(parseInt(s[i]))) {
      result += s[i];
    }
  }
  
  return result;
}

var s = "1abc23def4";
var digits = CollectDigits(s);
console.log(digits); // 输出 "1234"
</script>

这个函数会遍历字符串 s 的每个字符，使用 `parseInt(s[i])` 尝试将字符转换为数字。如果转换成功，即该字符是数字字符，就将它添加到结果字符串 `result` 中。最后，返回结果字符串 `result`。

注意：上述代码是在 HTML 中嵌入 JavaScript 运行的示例。您可以将代码复制到一个 HTML 文件中，并在浏览器中打开该文件，然后查看控制台输出结果。