Changed Mobile_HTML5 map(), gps_map(), gps_info().