;

automatic flushing system