HASH(0x7f5cde65f8b0)