HASH(0x7f5d04ebd5d0)