function reloc(a){ window.location.href=a;}

function change_dep(id){
	dep_code=document.getElementById(id).value;
	if(dep_code!='-')reloc("partenaires.php?dep="+dep_code);
	if(dep_code=='-')reloc("partenaires.php");
}