I have a giant source file in HTML with javascript I'd like to extract some information from a javascript content. Considering I have a file like the following
<h1>Hello World</h1>
<script type="text/javascript">something useless</script>
<script type="text/javascript">var gmaps_vars = {FullAddress: "Rio de Janeiro, Rio de Janeiro, Brasil", GeoLocation: {"lng":-43.187554,"lat":-22.9470974}}</script>
How would I extract the latitude and longitude?