HTML, and Javascript functions like for GeoLocation