function reload_page() { 
    window.location.reload(true); 
}

function findElement(id) {
    if (document.getElementById) {
        element = document.getElementById(id);
    }
    return element;
}
function setImage(id, url) {
    var element = findElement(id);
    if (element) {
        element.src = url;
    }
}

function toggleVisible(id) {
    var element = findElement(id);
    if (element) {
        if (element.style.display == 'none') {
            element.style.display = 'block';
        }
        else {
            element.style.display = 'none';
        }
    }
}