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