context: 	dojo._fixIeBiDiScrollLeft = function(/*Integer*/ scrollLeft){		// In RTL direction, scrollLeft should be a negative value, but IE 		// returns a positive one. All codes using documentElement.scrollLeft		// must call this function to fix this error, otherwise the position		// will offset to right when there is a horizonal scrollbar.		if(dojo.isIE && !dojo._isBodyLtr()){			var de = dojo.doc.documentElement;			return scrollLeft + de.clientWidth - de.scrollWidth; // Integer		}		return scrollLeft; // Integer	}
meta: 4497	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4497/c5c15a47ccf248a9de97f351e1c61185207f9a3f/html.js/buggy/_base/html.js