// ---------------------------
// HIDE SPLASH PAGE
// ---------------------------
// Toggles off a div, used on search pages to hide "please wait" message

function hideSplash() {
    thisDiv = document.getElementById("resultsSplash");

    if (thisDiv) {
        thisDiv.style.display = "none";
    } else {
        alert("Error: Could not locate div with id: " + divName);
    }
}