var selected = null;

function setColor(elem1, col) {
    var elem = document.getElementById(elem1);
    if (elem == selected || elem == null)
        return;
    elem.style.background = col;
    elem.style.cursor = 'default';

}
function select(elem1) {
    var elem = document.getElementById(elem1);

    if (elem == selected || elem == null)
        return;
    else if (selected != null) {
        selected.style.background = "white";
        selected.style.color = "#555555";


    }
    setColor(elem1, "LightGreen");
    selected = elem;
    elem.style.color = "#555555";


    var val = elem.innerHTML;
    document.getElementById("selVal").value = val;

}