function pagedTableFilter(form) { @#PAGED_TABLE_ID.doFilter(form); }