HASH(0x7f5ce32ea5d8)