HASH(0x7fee30f8de50)