window.jQuery = function(a,c) { 
var jQuery = window.jQuery = function(a,c) { 
window.jQuery = function(a,c) {	// If the context is global, return a new object	if ( window == this || !this.init )		return new jQuery(a,c);		return this.init(a,c);};
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/c8bd6e0a4aef14ad4808a63fc106849918ea4666/jquery.js/clean/src/jquery/jquery.js