var data = !type && ct && ct.indexOf("xml") >= 0; data = type == "xml" || data ? r.responseXML : r.responseText; 
var xml = type == "xml" || !type && ct && ct.indexOf("xml") >= 0; data = xml ? r.responseXML : r.responseText;  if ( xml && data.documentElement.tagName == "parsererror" ) throw "parsererror"; 
	httpData: function( r, type ) {		var ct = r.getResponseHeader("content-type");		var data = !type && ct && ct.indexOf("xml") >= 0;		data = type == "xml" || data ? r.responseXML : r.responseText;		// If the type is "script", eval it in global context		if ( type == "script" )			(new Function( data ))();		// Get the JavaScript object, if JSON is used.		if ( type == "json" )			data = eval("(" + data + ")");		return data;	},
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/e20e8e6e3cc565469cedfad105565ce534c98c71/ajax.js/buggy/src/ajax/ajax.js