HASH(0x7f5d058cb5c0)