function timedRedirectToUrl(url) {
    setTimeout(function () { redirectToUrl(url) }, 5000);
}

function redirectToUrl(url) {
    window.location = url;
}

function jumpMenuOnClick(jumpMenuName) {
    var jumpMenu = document.getElementById(jumpMenuName);
    window.location = jumpMenu.options[jumpMenu.selectedIndex].value;
}