function hide(nr) {
    document.getElementById(nr).style.display = 'none';
}

function show(nr) {
    document.getElementById(nr).style.display = 'block';
}

function change_element_content(element, text) {
    element.innerHTML = unescape(text);
}

function uncheck(element) {
    element.checked = false;
}