return new DOMNodeList( this._dom.getElementsByTagName(name) ); 
return new DOMNodeList( this._dom.getElementsByTagName( name.toLowerCase()) ); 
		getElementsByTagName: function(name){			return new DOMNodeList( this._dom.getElementsByTagName(name) );		},
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/b147039acc32884b50b955ebd94eeaa430713786/env.js/buggy/build/runtest/env.js