if (opacity) { 
if (parseFloat(opacity) >= 0.0 && parseFloat(opacity) < 1.0) { 
OpenLayers.Util.modifyDOMElement = function(element, id, px, sz, position,                                             border, overflow, opacity) {    if (id) {        element.id = id;    }    if (px) {        element.style.left = px.x + "px";        element.style.top = px.y + "px";    }    if (sz) {        element.style.width = sz.w + "px";        element.style.height = sz.h + "px";    }    if (position) {        element.style.position = position;    }    if (border) {        element.style.border = border;    }    if (overflow) {        element.style.overflow = overflow;    }    if (opacity) {        element.style.filter = 'alpha(opacity=' + (opacity * 100) + ')';        element.style.opacity = opacity;    }};
2032	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2032/a9b2a64bdcf4f3fb9f9f5f39b3aa4531fbc52319/Util.js/buggy/lib/OpenLayers/Util.js