OpenLayers.Event.observe(window, 'unload', this.destroy.bindAsEventListener(this)); 
OpenLayers.Event.observe(window, 'unload', this.unloadDestroy); 
    initialize: function (div, options) {                //set the default options        this.setOptions(options);        this.div = div = OpenLayers.Util.getElement(div);        // the viewPortDiv is the outermost div we modify        var id = div.id + "_OpenLayers_ViewPort";        this.viewPortDiv = OpenLayers.Util.createDiv(id, null, null, null,                                                     "relative", null,                                                     "hidden");        this.viewPortDiv.style.width = "100%";        this.viewPortDiv.style.height = "100%";        this.viewPortDiv.className = "olMapViewport";        this.div.appendChild(this.viewPortDiv);        // the layerContainerDiv is the one that holds all the layers        id = div.id + "_OpenLayers_Container";        this.layerContainerDiv = OpenLayers.Util.createDiv(id);        this.layerContainerDiv.style.zIndex=this.Z_INDEX_BASE['Popup']-1;                this.viewPortDiv.appendChild(this.layerContainerDiv);        this.events = new OpenLayers.Events(this, div, this.EVENT_TYPES, this.fallThrough);        this.updateSize();     // Because Mozilla does not support the "resize" event for elements other    //  than "window", we need to put a hack here.     //         if (navigator.appName.contains("Microsoft")) {            // If IE, register the resize on the div            this.events.register("resize", this, this.updateSize);        } else {            // Else updateSize on catching the window's resize            //  Note that this is ok, as updateSize() does nothing if the             //  map's size has not actually changed.            OpenLayers.Event.observe(window, 'resize',                           this.updateSize.bindAsEventListener(this));        }                // only append link stylesheet if the theme property is set        if(this.theme) {            var cssNode = document.createElement('link');            cssNode.setAttribute('rel', 'stylesheet');            cssNode.setAttribute('type', 'text/css');            cssNode.setAttribute('href', this.theme);            document.getElementsByTagName('head')[0].appendChild(cssNode);        }        this.layers = [];                if (this.controls == null) {            if (OpenLayers.Control != null) { // running full or lite?                this.controls = [ new OpenLayers.Control.Navigation(),                                  new OpenLayers.Control.PanZoom(),                                  new OpenLayers.Control.ArgParser()                                ];            } else {                this.controls = [];            }        }        for(var i=0; i < this.controls.length; i++) {            this.addControlToMap(this.controls[i]);        }        this.popups = new Array();        // always call map.destroy()        OpenLayers.Event.observe(window,                       'unload',                       this.destroy.bindAsEventListener(this));    },
2032	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2032/177215befc804cd05a6d31dfae889e152ca5d2cc/Map.js/clean/lib/OpenLayers/Map.js