function js_search(){
	var word = document.getElementById('input_search').value;
	var tmp = "";
	for(var i=0;i<word.length;i++){
		tmp = tmp+word.charAt(i);
		if (word.charAt(i)==" "){
			tmp = tmp.replace(" ","%20");
		}
	}
	word = tmp;
	window.location = 'index.php?pa=0&fi=recherche&re1=all&re2='+word;
}

function js_ifkey13(evt){
	var evt = (evt) ? evt : ((event) ? event : null);
	var node = (evt.target) ? evt.target : ((evt.srcElement) ? evt.srcElement : null);
	if ((evt.keyCode == 13) && (node.type=="text"))  {js_search();}
}