(interval[5, 9999]/interval[1,10] )