HASH(0x7f5ca478f1e0)