HASH(0x7f5d041525d0)