夏休みのときに，プールに行くことがある．