var keyword = document.search.keyword.value;
	
	if (keyword != ""){
		document.search.keyword.value = keyword.replace("_slash_", "/");				
	}