HASH(0x7f5d04cb86d0)