HASH(0x7f5cedfaddf8)