function writediv(texte){
	document.getElementById('player').innerHTML = texte;
}

function verifVideo(video){
	if(video != ''){
		if(texte = file('inc/changevideo.php?id='+escape(video))){
			writediv(texte);
		}
	}
}