var box = new jsMath.Box('html',html,w+scale/3,h,d); 
var box = new jsMath.Box('html',html,w+addWidth*scale/3,h,d); 
  LayoutAbsolute: function (size,table,align,cspacing,rspacing,vspace) {    if (align == null) {align = []}    if (cspacing == null) {cspacing = []}    if (rspacing == null) {rspacing = []}        // get row and column maximum dimensions    var scale = jsMath.sizes[size]/100;    var HD = (jsMath.hd-.01)*scale;    var dy = (vspace || 1) * scale/6;    var W = []; var H = []; var D = [];    var w = 0; var h; var x; var y;    var i; var j; var row;    for (i = 0; i < table.length; i++) {      if (rspacing[i] == null) {rspacing[i] = 0}      row = table[i];      H[i] = jsMath.h*scale; D[i] = jsMath.d*scale;      for (j = 0; j < row.length; j++) {        row[j] = row[j].Remeasured();        if (row[j].h > H[i]) {H[i] = row[j].h}        if (row[j].d > D[i]) {D[i] = row[j].d}        if (j >= W.length) {W[j] = row[j].w}        else if (row[j].w > W[j]) {W[j] = row[j].w}      }    }    if (rspacing[table.length] == null) {rspacing[table.length] = 0}    // get the height and depth of the centered table    y = (H.length-1)*dy + rspacing[0];    for (i = 0; i < H.length; i++) {y += Math.max(HD,H[i]+D[i]) + rspacing[i+1]}    h = y/2 + jsMath.TeX.axis_height; var d = y - h;    // lay out the columns    var html = ''; var entry; w = scale/6;    for (j = 0; j < W.length; j++) {      y = H[0]-h + rspacing[0];      for (i = 0; i < table.length; i++) {        entry = table[i][j];        if (entry && entry.format != 'null') {          if (align[j] && align[j] == 'l') {x = 0} else          if (align[j] && align[j] == 'r') {x = W[j] - entry.w} else            {x = (W[j] - entry.w)/2}          html += jsMath.HTML.PlaceAbsolute(entry.html,w+x,                    y-Math.max(0,entry.bh-jsMath.h*scale));        }        if (i+1 < table.length) {y += Math.max(HD,D[i]+H[i+1]) + dy + rspacing[i+1]}      }      if (cspacing[j] == null) cspacing[j] = scale;      w += W[j] + cspacing[j];    }        // get the full width    w = -cspacing[W.length-1]+scale/3;    for (i = 0; i < W.length; i++) {w += W[i] + cspacing[i]}    html = jsMath.HTML.Spacer(scale/6)+html+jsMath.HTML.Spacer(scale/6);    if (jsMath.Browser.spanHeightVaries) {y = h-jsMath.h} else {y = 0}//    html = jsMath.HTML.Absolute(html,w,h+d,d,y,H[0]);    html = jsMath.HTML.Absolute(html,w,h+d,d,y,h);    var box = new jsMath.Box('html',html,w+scale/3,h,d);    return box;  },
1963	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1963/bd0a8bcca05e5455d2c0b2d47bdefc7b22b464bb/jsMath.js/clean/htdocs/jsMath/uncompressed/jsMath.js