HASH(0x7f5cfac11ce8)