HASH(0x7f5d0242d8b0)