<!-- 

function setDisplay(id, value) {
    var obj = document.getElementById(id);
    if (obj != null) {
        obj.style.display = value;
    }
}

// -->