function set_greet(greeturl) {
  if (document.getElementById) {
    var xx = (window.ActiveXObject) ? new ActiveXObject("Microsoft.XMLHTTP") : new XMLHttpRequest(greeturl);
  }
  if (xx) { 
    xx.onreadystatechange = function() {
    try { if (xx.readyState == 4 && xx.status == 200) { 
         document.getElementById("greeting").innerHTML=xx.responseText;
	 } 
    } 
   	catch(e){}  
     } 
    xx.open("GET", greeturl, true);
    xx.send(null);
    setTimeout("set_greet(phpgreetFile + '?' + new Date().getTime())", 5000); // get new data 
  }
} // end file_data function