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