HASH(0x7fedea6e5608)