HASH(0x7f5d06bc33d0)