tongji.js 118 B

1234
  1. var webDotNum = document.getElementById("webDotNum");
  2. if (webDotNum != null) {
  3. webDotNum.innerHTML = "${dotNum!}";
  4. }