HASH(0x7fee325fd568)