total_width = charWidth(buf[i]);  return (total_width); }
total_width += charWidth(buf[i]); return(total_width); }
	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);	}