s.push( encodeURIComponent(j) + "=" + encodeURIComponent( this ) ); 
s.push( encodeURIComponent(j) + "[]=" + encodeURIComponent( this ) ); 
					jQuery.each( a[j], function(){						s.push( encodeURIComponent(j) + "=" + encodeURIComponent( this ) );					});
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/8a80d05a446ac7ac8a95459fb68932ddf539ff62/ajax.js/clean/src/ajax/ajax.js