xml.onreadystatechange = function(){}; 
var onreadystatechange = function(isTimeout){  if ( xml && (xml.readyState == 4 || isTimeout == "timeout") ) { requestDone = true;   if (ival) { clearInterval(ival); ival = null; }  var status; try { status = jQuery.httpSuccess( xml ) && isTimeout != "timeout" ? s.ifModified && jQuery.httpNotModified( xml, s.url ) ? "notmodified" : "success" : "error";  if ( status != "error" ) {  var modRes; try { modRes = xml.getResponseHeader("Last-Modified"); } catch(e) {}  if ( s.ifModified && modRes ) jQuery.lastModified[s.url] = modRes;   var data = jQuery.httpData( xml, s.dataType );   if ( s.success ) s.success( data, status );   if( s.global ) jQuery.event.trigger( "ajaxSuccess", [xml, s] ); } else jQuery.handleError(s, xml, status); } catch(e) { status = "error"; jQuery.handleError(s, xml, status, e); }   if( s.global ) jQuery.event.trigger( "ajaxComplete", [xml, s] );   if ( s.global && ! --jQuery.active ) jQuery.event.trigger( "ajaxStop" );   if ( s.complete ) s.complete(xml, status);   if(s.async) xml = null; } }; 
				xml.onreadystatechange = function(){};
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/fade976946fba8a9c9782bbbc56058fdc238b31f/ajax.js/buggy/src/ajax/ajax.js