function setImageSource(imageID, source) {

    image = document.getElementById(imageID);

    if (image) {
        image.src = source;
    }
}


function redirect(url) {

    window.location = url;

}

function addShadow(elementID) {

    element = document.getElementById(elementID);

    if (element) {
        element.style.filter = 'shadow(color:gray)';
    }

}

function addHighlight(elementID) {

    element = document.getElementById(elementID);

    if (element) {
        element.style.filter = 'shadow(color:orange)';
    }

}


function removeShadow(elementID) {

    element = document.getElementById(elementID);

    if (element) {
        element.style.filter = 'none';
    }

}


function setElementFocus(elementID) {

    element = document.getElementById(elementID);

    if (element) {
        element.focus();
    }

}