rem:  if ( type == "script" ) eval.call( window, data ); 
add:  if ( type == "script" ) { if (window.execScript) window.execScript( data ); else window.setTimeout( data, 0 ); } 
context: 	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		if ( type == "script" ) eval.call( window, 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;	},
meta: 1375	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1375/46faa03820f82e5b03e6b3d73bd9d5b194b2b310/ajax.js/buggy/src/ajax/ajax.js