HASH(0x7fbf7579ff30)