HASH(0x7f5d041fb8e0)