HASH(0x7f5cfac1c3c8)