if (el.innerText) return el.innerText; 
if (el.textContent) return el.textContent; if (el.innerText) return el.innerText; 
function ts_getInnerText(el) {	if (typeof el == "string") return el;	if (typeof el == "undefined") { return el };	if (el.innerText) return el.innerText;	// Not needed but it is faster	var str = "";	var cs = el.childNodes;	var l = cs.length;	for (var i = 0; i < l; i++) {		switch (cs[i].nodeType) {			case 1: //ELEMENT_NODE				str += ts_getInnerText(cs[i]);				break;			case 3:	//TEXT_NODE				str += cs[i].nodeValue;				break;		}	}	return str;}
9612	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9612/8f416baead93a48e5799e44b8bd2e2c4859f4e04/wikibits.js/buggy/skins/common/wikibits.js