HASH(0x7f5cf05d61f8)