HASH(0x7f5ceeb0e4d8)