HASH(0x7f5cfac1e3f8)