jQuery.readyList.push( function() { return f.apply(this, [jQuery]) } ); 
jQuery.safariTimer = setInterval(function(){  if ( document.readyState == "loaded" || document.readyState == "complete" ) {   clearInterval( jQuery.safariTimer ); jQuery.safariTimer = null;   jQuery.ready(); } }, 10); 
			jQuery.readyList.push( function() { return f.apply(this, [jQuery]) } );
10252	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10252/f29aa679d26dfc4f883868d041c506eaee4b6064/jquery.js/clean/static/scripts/jquery.js