if (va === null) 
if (va == null) 
	setAttrib : function(el, name, va, fix) {		if (typeof(va) == "number" && va != null)			va = "" + va;		if (fix) {			if (va === null)				va = "";			va = va.replace(/[^0-9%]/g, '');		}		if (name == "style")			el.style.cssText = va;		if (name == "class")			el.className = va;		if (va != null && va !== '' && va != -1)			el.setAttribute(name, va);		else			el.removeAttribute(name);	},
3623	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3623/c355090a71e6c775b7f86b82f6e3907a6a0b571f/tiny_mce_src.js/clean/ain7-website/ain7/media/js/tiny_mce/tiny_mce_src.js