text: goog.require('ol.Map');
  goog.require('ol.View');
  goog.require('ol.extent');
  goog.require('ol.format.GeoJSON');
  goog.require('ol.has');
  goog.require('ol.layer.Vector');
  goog.require('ol.proj');
  goog.require('ol.source.Vector');
  goog.require('ol.style.Fill');
  goog.require('ol.style.Stroke');
  goog.require('ol.style.Style');
  