HASH(0x7f5ceeb25b18)