HASH(0x7f5cecfc4d18)