HASH(0x7f5cedfae3e0)