HASH(0x7f5cd41fd5d0)