this.style = {}; 
this.style = { get opacity(){ return this._opacity; }, set opacity(val){ this._opacity = val + ""; } }; 
	window.DOMElement = function(elem){		this._dom = elem;		this.style = {};				// Load CSS info		var styles = (this.getAttribute("style") || "").split(/\s*;\s*/);				for ( var i = 0; i < styles.length; i++ ) {			var style = styles[i].split(/\s*:\s*/);			if ( style.length == 2 )				this.style[ style[0] ] = style[1];		}	};
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/b147039acc32884b50b955ebd94eeaa430713786/env.js/buggy/build/runtest/env.js