echo $((0xf2))