Sorry, ich hatte 'xmlDoc' ja gar nicht definiert, hier also nochmal:
var xmlDoc = xmlHttp.responseXML.documentElement;
if(document.getElementById) {
document.getElementById("counter_online").innerHTML = xmlDoc.getElementsByTagName("online")[0].childNodes[0].nodeValue;
}
Gruß, Don P