rem: var extentString = extent.left + " " + -extent.top + " " + extent.getWidth() + " " + extent.getHeight(); 
add:  var resolution = this.getResolution();  var extentString = extent.left / resolution + " " + -extent.top / resolution + " " + extent.getWidth() / resolution + " " + extent.getHeight() / resolution; 
context:     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);    },
meta: 1027	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1027/7e8605bf0dfb6ebb53699f4453e8c46383fd827f/SVG.js/buggy/lib/OpenLayers/Renderer/SVG.js