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