new Window(iframe.window); new Document(iframe.window.document); 
if (window.location.host == iframe.src.split('/')[2]) { new Window(iframe.window); new Document(iframe.window.document); } 
		var onFrameLoad = function(){			iframe.window = iframe.contentWindow;			new Window(iframe.window);			new Document(iframe.window.document);			onload.call(iframe.window);		};
6991	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6991/4c87c3938f9e97449a765f1ea90cd6e9a238686c/Element.js/clean/Source/Element/Element.js