+ function num_cmp(a, b) {
+ return parseInt(b.textContent) - parseInt(a.textContent)
+ }
+ function str_cmp(a, b) {
+ if (a.textContent < b.textContent) return -1
+ if (a.textContent > b.textContent) return 1
+ return 0
+ }
+ function checked_cmp(a, b) {
+ vs = [a, b].map(x => {
+ const v = x.children[0].checked + 0
+ return isNaN(v) ? -1 : v
+ })
+ return vs[1] - vs[0]
+ }
+ function sort_table(col, cmp) {
+ const rows = Array.from(document.getElementsByTagName('tr'))
+ rows.shift()
+ rows.sort((a, b) => cmp(a.children[col], b.children[col]))
+ for (row of rows) {
+ row.parentElement.appendChild(row)
+ }
+ }