/*if (window.attachEvent) {
  window.attachEvent("onresize",
    function() {this.map.onResize()});
} else { 
  window.addEventListener("resize",
    function() {this.map.onResize()},
    false);
}*/