<!--
window.onload = function(){
set_search();
};

function clear_search()
{
    if (document.getElementById("searchBox").value == "Search District" ) 
    {
        document.getElementById("searchBox").value = "";
    }
}

function set_search()
{
    if (document.getElementById("searchBox").value == "") 
    {
        document.getElementById("searchBox").value = "Search District";
    }
}
//-->