HASH(0x7f5ce00caf78)