public int getANTextWidth(String text) { // method384
		if (text == null) {
			return 0;
		}
		int width = 0;
		for (int i = 0; i < text.length(); i++) {
			width += charWidths[text.charAt(i)];
		}
		return width;
	}