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