res += " ";
res = " " + res;
  private String padIt(double value, int a, int b) {    String res = Utils.doubleToString(value,				      a, b);    int width = res.length();    res = res.trim();    if (res.indexOf(".") == -1) {      res += ".00";    } else if (res.indexOf(".") == res.length()-2) {      res += "0";    }    while (res.length() < width) {      res += " ";    }    return res;  }