return(charsWidth(buf, 0, buf.length)); }
return charsWidth(buf, 0, buf.length); }
stringWidth(String str){		char[] buf = new char[str.length()];		str.getChars(0, str.length(), buf, 0);  return(charsWidth(buf, 0, buf.length));}