var compare_by_score = function(refutation_lines, a, b) {
var sa = parseInt(refutation_lines[b].score_sort_key);
var sb = parseInt(refutation_lines[a].score_sort_key);
var compare_by_score = function(refutation_lines, a, b) {
var sa = parseInt(refutation_lines[b].score_sort_key);
var sb = parseInt(refutation_lines[a].score_sort_key);