HASH(0x7f5ce00edfd8)