HASH(0x7f5cde765e20)