for (int i = offset; i < len; i++)
int endOffset = offset + len; for (int i = offset; i < endOffset; i++)
  public int charsWidth(char[] buf, int offset, int len)  {		int total_width = 0;		for (int i = offset; i < len; i++)    total_width += charWidth(buf[i]);    return total_width;  }