HASH(0x7fbf5c4934f8)