function writeres(texte){
	document.getElementById('resultats').innerHTML = texte;
}

function verifres(s){
	if(s != ''){
		if(s.length>1){
			if(texte = file('inc/search.php?words='+escape(s))){
				writeres(texte);
			}
		}
	}
}