add: element.innerHTML = text; 
context:   ConvertText: function (element) {    var text = this.GetElementText(element);    this.ResetHidden(element);    element.alt = text;    element.innerHTML = this.TextMode(text);    element.className = 'typeset';  },
meta: 7708	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7708/80539383c07d69456fc3b36aea6d2349035a120f/jsMath.js/buggy/htdocs/jsMath/uncompressed/jsMath.js