HASH(0x7f5cedfb8bd0)