某算法的VB程序段如下：

key = Int (Rnd*5)*2+ 11

i = 1: j = 8: c = 0

Do While i <= j

    m = (i+j+1) \ 2

    If a(m) >= key Then i = m+1 Else j = m-1

    c = c+1

Loop

数组元素a(1)到a(8)的值依次为“23，21，19，18，16，15，14，11”。若该程序段执行后，下列说法错误的是（  ）

A、i的值为j+1

B、i的值可能是9

C、j的值可能是5

D、c的值一定是3