function main() {
  var txt = document.body.innerHTML;
  txt = txt.replace(/\s+/g," ");
  txt = txt.replace(/&nbsp;/g," ");
  txt = txt.replace(/<[^>]+>/g,"" );
  var cnt = 0;
  if (res = txt.match(/\d+\s+[\w\s+,\#]+[^,]+,\s*\w{2}\s*,?\s*\d*/g)) {
    for (var i in res) {
      var addr = res[i];
      if (confirm("Map " + addr + "?")) {
        var url = "http:/" + "/maps.google.com/maps?q=" + escape(addr);
        document.location = url;
        break;
      }
    }
  }
}
main();

