//Other map functions are in global.js


function SearchMap()
{
    var c = document.getElementById("search_field").value
    setMapRefresh(c);
}