function osc_google_maps_header() { echo ''; echo ''; }