How often to flush/change dot 4?

4spdragtop said
We flushed Dot 5 into a system that was holding dot 3. That was 7 years ago. Zero problems, brakes feel fine. That's our experience with it.

What did you flush the old dot 3 out with?