}, 10); 
})(); 
function bindReady(){	if ( readyBound ) return;	readyBound = true;	// If Mozilla is used	if ( jQuery.browser.mozilla || jQuery.browser.opera )		// Use the handy event callback		document.addEventListener( "DOMContentLoaded", jQuery.ready, false );		// If IE is used, use the excellent hack by Matthias Miller	// http://www.outofhanwell.com/blog/index.php?title=the_window_onload_problem_revisited	else if ( jQuery.browser.msie ) {			// Only works if you document.write() it		document.write("<scr" + "ipt id=__ie_init defer=true " + 			"src=//:><\/script>");			// Use the defer script hack		var script = document.getElementById("__ie_init");				// script does not exist if jQuery is loaded dynamically		if ( script ) 			script.onreadystatechange = function() {				if ( this.readyState != "complete" ) return;				jQuery.ready();			};			// Clear from memory		script = null;		// If Safari  is used	} else if ( jQuery.browser.safari )		// Continually check to see if the document.readyState is valid		jQuery.safariTimer = setInterval(function(){			// loaded and complete are both valid states			if ( document.readyState == "loaded" || 				document.readyState == "complete" ) {					// If either one are found, remove the timer				clearInterval( jQuery.safariTimer );				jQuery.safariTimer = null;					// and execute any waiting functions				jQuery.ready();			}		}, 10); 	// A fallback to window.onload, that will always work	jQuery.event.add( window, "load", jQuery.ready );}
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/6e8a8c535974ebada1e5dde9fa380c2c040106ce/event.js/buggy/src/event.js