HASH(0x7fbf5c495fe0)