var webDotNum = document.getElementById("webDotNum"); if (webDotNum != null) { webDotNum.innerHTML = "${dotNum!}"; }