domain_count=35142;

dc=document.getElementById("ws_domains_count");
dc.innerHTML="<font color=#7DDF38 size=5><strong>" + domain_count + "</strong></font>";