def _hexDigitToInt(self, ch):
        try:
            result = self.hex_digits[ch.upper()]
        except KeyError:
            try:
                result = int(ch)
	    except __HOLE__:
	         raise ReadException, "The character %s is not a hex digit." % ch
        return result
dataset/ETHPy150Open gashero/talklog/android_sms/json.py/JsonReader._hexDigitToInt