// JavaScript Document

function recherche(){
	var obj = document.getElementById("mc");
	if(obj.value) document.location.href='resultat-recherche.php?mc=' + obj.value;
}