 new Native({ name: 'HTMLElement', initialize: win.HTMLElement, browser: false, generics: false });  
	initialize: function(win){		if ($type(win) == 'window') return win;		Window.instances.push(win);				if (typeof win.HTMLElement == 'undefined'){			win.HTMLElement = $empty;			if (Client.Engine.webkit) win.document.createElement("iframe"); //fixes safari 2			win.HTMLElement.prototype = (Client.Engine.webkit) ? win["[[DOMElement.prototype]]"] : {};		}				win.HTMLElement.prototype.htmlElement = $empty;				new Native({			name: 'HTMLElement',			initialize: win.HTMLElement,			browser: false,			generics: false		});				return $extend(win, this);	},
9494	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9494/1616cbc5fcd543c94f8d7a885c14f16f33dee3dd/Core.js/clean/Source/Core/Core.js