Ho provato rifare la funzione, sotto i tuoi consigli, ma non so se ho fatto giusto

Codice PHP:
<script type="text/javascript">

function loadXMLDoc(url)
{
xmlhttp = ;
url = "test_luogo.php";
// codice per Mozilla, etc.
if (window.XMLHttpRequest)
  {
  xmlhttp=new XMLHttpRequest()
  xmlhttp.open("GET",url,true)
  xmlhttp.send(null)
  xmlhttp.onreadystatechange=xmlhttpChange
  
  }
// codice per  IExplore
else if (window.ActiveXObject)
  {
  xmlhttp=new ActiveXObject("Microsoft.XMLHTTP")
    if (xmlhttp)
    {
    xmlhttp.open("GET",url,true)
    xmlhttp.send()
    xmlhttp.onreadystatechange=xmlhttpChange
    
    
    }
  }
}

setTimeout(function xmlhttpChange()
{
// if xmlhttp shows "loaded"
if (xmlhttp.readyState==4)
  {
  // if "OK"
  if (xmlhttp.status==200)
    {
    
      document.getElementById('mio').innerHTML = xmlhttp.responseText;

    }
  }
},7000);
</script> 
Però non mi ricarica ogni 7 secondi il div, e per di più lo script non mi da nemmeno errori, quindi non so se ho fatto giusto :master:

Questo codice lo devo usare per una chat, e in altri elementi che devono obbligatoriamente caricarsi ogni tot tempo.
Con altri metodi diventa pesantino per il navigatore, e ne ho provati tanti, ecco l'idea del costrutto di ajax :berto:
Ma non sono espertissimo del linguaggio, se era php me la sarei cavata meglio
Puoi darmi una mano a settarlo come si deve?