jsMath.ConvertTeX = function () {}; 
ConvertTeX: function (data) {jsMath.Autoload.Script.Push('ConvertTeX',[data])}, 
      jsMath.ConvertTeX = function () {};
1963	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1963/ac0512013a54530f36f9dce5c71fa2090bdff1fe/autoload.js/clean/htdocs/jsMath/plugins/autoload.js