某VB程序段如下

数组元素f(1)到f (8)赋初值为0，代码略

Key = Int(Rnd*7)*2+3

i =1：j=8：c=0

Key = Val(Text1.Text)

Do While i<=j

    m=(i+j)\ 2

    f(m) = 1

    If Key <= a(m) Then j =m-1 Else i=m+1

    For n=1 To 8

        c=c+f(n)

    Next n

数组元素a(1)到a(8)的值依次为“3，7，9，10，15，15，15，20”，执行该程序段后，则（    ）

A、变量j的值可能为8

B、变量c的值一定为3

C、变量i的值可能为9

D、a(j)的值可能等于key