HASH(0x7f5cecfc43a0)