HASH(0x7f5d0403ade0)