var extentString = extent.left + " " + -extent.top + " " + extent.getWidth() + " " + extent.getHeight(); 
 var resolution = this.getResolution();  var extentString = extent.left / resolution + " " + -extent.top / resolution + " " + extent.getWidth() / resolution + " " + extent.getHeight() / resolution; 
    setExtent: function(extent) {        OpenLayers.Renderer.Elements.prototype.setExtent.apply(this,                                                                arguments);        var extentString = extent.left + " " + -extent.top + " " +                              extent.getWidth() + " " + extent.getHeight();        this.rendererRoot.setAttributeNS(null, "viewBox", extentString);    },
2032	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2032/7e8605bf0dfb6ebb53699f4453e8c46383fd827f/SVG.js/buggy/lib/OpenLayers/Renderer/SVG.js