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