HASH(0x7f5ceade86d0)