HASH(0x7f5ce435ef28)