The difference between the greatest and least values of the functions f(x) = cosx + 12 cos2x - 13 cos3x is