<!-- 
function info(string){ 
document.getElementById('domaininfo').innerHTML=string; 
} 
//-->