HASH(0x7f5cedfcf0c8)