var jQuery = window.jQuery = function(a,c) {  if ( window == this || !this.init ) return new jQuery(a,c);  return this.init(a,c); 
var jQuery = window.jQuery = function(selector, context) {  return this instanceof jQuery ? this.init(selector, context) : new jQuery(selector, context); 
var jQuery = 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/9c2c47d7c021d1d944798642d0e7d51423af6bd8/core.js/clean/src/core.js