function myFilter(){var a;var c=document.getElementById("suchstr").value.toUpperCase();var b=jQuery("#suchlist .row");for(a=0;a<b.length;a++){var d=b[a].textContent||b[a].innerText;-1<d.toUpperCase().indexOf(c)?b[a].style.display="":b[a].style.display="none"}};
//# sourceMappingURL=tablefilter.min.js.map