HASH(0x7f3874785d48)