Interval[{7, 13}]