HASH(0x7fedea6dc0c0)