else {box.html = '', box.w = 0} 
else {box.html = '', box.w = box.Mw = box.mw = 0;} 
  phantom: function (style,size,mitem) {    var box = mitem.nuc = jsMath.Box.Set(mitem.phantom,style,size);    if (mitem.h) {box.Remeasured(); box.html = jsMath.HTML.Spacer(box.w)}      else {box.html = '', box.w = 0}    if (!mitem.v) {box.h = box.d = 0}    box.bd = box.bh = 0;    delete mitem.phantom;    mitem.type = 'box';  },
1963	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1963/ac0512013a54530f36f9dce5c71fa2090bdff1fe/jsMath.js/buggy/htdocs/jsMath/uncompressed/jsMath.js