HASH(0x7f5cde4baef0)