HASH(0x7fedea6194e0)