HASH(0x7f5d041fc5e0)