if (c[i] != '') 
if (c[i] !== '') 
	split : function(re, s) {		var c = s.split(re);		var i, l, o = new Array();		for (i=0, l=c.length; i<l; i++) {			if (c[i] != '')				o[i] = c[i];		}		return o;	},
3623	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3623/32d3515ec5cf941c718954b41f19cc777ee4a50e/tiny_mce_src.js/buggy/ain7-website/ain7/media/js/tiny_mce/tiny_mce_src.js