https://www.jerde.com/js/search.js?a=1790935025

1function gen_uri(txt_src){
2	console.log(txt_src);
3
4 var output = txt_src.replace(/[^a-zA-Z0-9]/g,' ').replace(/\s+/g,"-").toLowerCase();
5 /* remove first dash */
6 if(output.charAt(0) == '-') output = output.substring(1);
7 /* remove last dash */
8 var last = output.length-1;
9 if(output.charAt(last) == '-') output = output.substring(0, last);
10
11 return output;
12}
13//alert(1);
14
15function submitSeachForm(event) {
16  event.preventDefault();
17  var textbox = event.currentTarget.querySelector("input");
18  var v2 = $(textbox).val();
19  var v = gen_uri(v2);
20  window.location = "/search/" + v;
21}
22
23function toggleSearchVisible(event) {
24  var parent = $(event.currentTarget).closest(".search-wrapper");
25  parent.addClass("is-showing");
26  parent.find("input").focus();
27}