HASH(0x7f5cedfade00)