HASH(0x7f5c982c31d8)