new function() { var b = navigator.userAgent.toLowerCase();   jQuery.browser = { safari: /webkit/.test(b), opera: /opera/.test(b), msie: /msie/.test(b) && !/opera/.test(b), mozilla: /mozilla/.test(b) && !/(compatible|webkit)/.test(b) };   jQuery.boxModel = !jQuery.browser.msie || document.compatMode == "CSS1Compat"; }; 
name = name.replace(/-([a-z])/ig,function(z,b){return b.toUpperCase();}); 
new function() {	var b = navigator.userAgent.toLowerCase();	// Figure out what browser is being used	jQuery.browser = {		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/9449591eef44360b5bfdb9a23cea1f4a1a6f3c33/jquery.js/buggy/src/jquery/jquery.js