HASH(0x7ff4200b9c78)