HASH(0x7ff40c0da368)