function writediv(texte)
{
	document.getElementById('titre').innerHTML = texte;
}
function titre()
{
function writediv(div, texte)
    {
    document.getElementById(div).innerHTML = texte;
    }
	if(window.XMLHttpRequest) // FIREFOX
    xhr_file = new XMLHttpRequest();
    else if(window.ActiveXObject) // IE
         xhr_file = new ActiveXObject("Microsoft.XMLHTTP");
    else
         return(false);
	
	var fichier = "radio/titre.php";
    xhr_file.open("POST", fichier, false);
    xhr_file.send(null);
    if(xhr_file.readyState == 4){
		writediv('titre',xhr_file.responseText);
	}
    else {
		return(false);
	}
	boucle = setTimeout("titre()", 15000);
}