new function() { var b = navigator.userAgent.toLowerCase(); 
jQuery.each( a, function(i,arg){ if ( !arg ) return; 
new function() {	var b = navigator.userAgent.toLowerCase();	// Figure out what browser is being used	jQuery.browser = {		version: b.match(/.+(?:rv|it|ra|ie)[\/: ]([\d.]+)/)[1],		safari: /webkit/.test(b),		opera: /opera/.test(b),		msie: /msie/.test(b) && !/opera/.test(b),		mozilla: /mozilla/.test(b) && !/(compatible|webkit)/.test(b)	};	// Check to see if the W3C box model is being used	jQuery.boxModel = !jQuery.browser.msie || document.compatMode == "CSS1Compat";};
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/108f308eaae62a78bd4dc8863f8c026f8828ef48/jquery.js/clean/src/jquery/jquery.js