python: get int value from a char string,"int('0xAEAE', 16)"