echo $((0xf3))
