charsWidth(char buf[], int offset, int len) {
public int charsWidth(char[] buf, int offset, int len) {
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);}