HASH(0x7f5ccc0bc7b8)