if($type(content) == "string") pre.appendText(content); 
if ($type(content) == "string") pre.appendText(content); 
	pre: function(content, color, bgcolor){		if (debug.disabled) return;		if (!debug._body) debug.create();		var pre = new Element('pre').setStyles({			'padding': '3px 5px',			'margin': '0',			'font': '11px Andale Mono, Monaco, Courier New',			'border-bottom': '1px solid #eee',			'color': color || '#222',			'background-color': bgcolor || '#fff'		});		if($type(content) == "string") pre.appendText(content);		else pre.adopt(content);		pre.injectInside(debug._contents);		debug._scroll.toBottom();	},
9299	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9299/0ea13c407f295a800d34adf6f6781e9d4f15d4d1/Debugger.js/buggy/Misc/Debugger.js