if (!!!document.body.innerText && !!document.body.textContent) {
	HTMLElement.prototype.__defineGetter__("innerText", function() {
		return this.textContent;
	});
	HTMLElement.prototype.__defineSetter__("innerText", function(txt) {
		this.textContent = txt;
	});     
}