HASH(0x7fbf9457b2e8)