HASH(0x7fbf5c4d2e78)