Python: get int value from a char string,"int('AEAE', 16)"