jQuery.styleFloat = jQuery.browser.msie ? "styleFloat" : "cssFloat", 
jQuery.styleFloat = jQuery.browser.msie ? "styleFloat" : "cssFloat"; 
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";	jQuery.styleFloat = jQuery.browser.msie ? "styleFloat" : "cssFloat",	jQuery.props = {		"for": "htmlFor",		"class": "className",		"float": jQuery.styleFloat,		cssFloat: jQuery.styleFloat,		styleFloat: jQuery.styleFloat,		innerHTML: "innerHTML",		className: "className",		value: "value",		disabled: "disabled",		checked: "checked",		readonly: "readOnly",		selected: "selected",		maxlength: "maxLength"	};};
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/560484fd8d17ce6cf0b0d5748ad55d3dcb19d44f/jquery.js/clean/src/jquery/jquery.js