HASH(0x7f5ce457e3b0)