function sort(list) {
    var loc;
    loc = list.getAttribute('dest');
    loc = loc.replace("%7b", "{").replace("%7d", "}");
    loc = loc.replace("%7B", "{").replace("%7D", "}");
    if (list.value == "") {
        if (loc.indexOf("&sort={0}") > 0) {
            loc = loc.replace("&sort={0}", "")
        } else {
            loc = loc.replace("sorted/{0}/", "")
        }
    } else {
        loc = String.format(loc, list.value);
    }
    document.location.href = loc;
}

function changePageSize(list) {
    var loc;
    loc = list.getAttribute('dest');
    loc = loc.replace("%7b", "{").replace("%7d", "}");
    loc = loc.replace("%7B", "{").replace("%7D", "}");
    loc = String.format(loc, list.value);
    document.location.href = loc;
}