HASH(0x7f5ce00cf8f8)