eval( "data = " + data ); 
data = eval("(" + data + ")"); 
	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" )			jQuery.globalEval( data );		// Get the JavaScript object, if JSON is used.		if ( type == "json" )			eval( "data = " + data );		// evaluate scripts within html		if ( type == "html" )			jQuery("<div>").html(data).evalScripts();		return data;	},
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/03c623c35f429ce29e927b457ff0a45d8d643f2e/ajax.js/clean/src/ajax/ajax.js