function showcover() {
    window.location = "/login?dest=" + 
        encodeURIComponent(window.location);
}

function set_score(id, dir) 
{
    var label = vl[id];

    var pup = $("percent_up_" + id);
    var pulabel = pl['up_' + id];
    var pdw = $("percent_down_" + id);
    var pdlabel = pl['down_' + id];

    var score = $("score_" + id);
    if(score) {
        score.className = scorecls[dir+1];
        score.innerHTML = label   [dir+1];
        pup.innerHTML   = pulabel [dir+1];
        pdw.innerHTML   = pdlabel [dir+1];
        
    }
}