function encodeValue(id) {
    var el = document.getElementById(id);
    el.value = escapeHTML(el.value);
};
function escapeHTML(str) {
    var div = document.createElement('div');
    var text = document.createTextNode(str);
    div.appendChild(text);
    return div.innerHTML;
};
function toggleDisplay(id) {
    var el = document.getElementById(id);
    if (el.style.display == 'none')
        el.style.display = 'inline';
    else
        el.style.display = 'none';
};