domain_count=27162;

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