HASH(0x7f5d0d0e28c0)