public int getWidth(String text) {
		if (text == null) {
			return 0;
		}
		int width = 0;
		for (int i = 0; i < text.length(); i++) {
			if (text.charAt(i) == '@' && i + 4 < text.length() && text.charAt(i + 4) == '@') {
				i += 4;
			} else {
				width += charWidths[text.charAt(i)];
			}
		}
		return width;
	}