function myFunction(xml) {
    var xmlDoc = xml.responseXML;
    //set servername
    var servername = xmlDoc.getElementsByTagName("servername");
    document.getElementById("server1").innerHTML =
    servername[0].childNodes[0].nodeValue;
    document.getElementById("server2").innerHTML =
    servername[1].childNodes[0].nodeValue;
}