Intervals 1.3.13