// UI.js
function e(id) 
{
    return document.getElementById(id); 
}

function show(n)
{
    var el = e(n);
    el.style.display = (el.style.display == "none") ? "inline" : "none";
}

function uiHi(a)
{
    a.style.backgroundColor = "lemonchiffon";
}

function uiLo(a)
{
    a.style.backgroundColor = "white";
}