HASH(0x7fedea6c90d8)