HASH(0x7fbf5c5307d0)