某对分查找算法部分代码如下：

i = 1: j = 1000: flag = True: p = 0

key = Val(Text1.Text)

Do While i <= j And flag

    m = (i + j) \2

    p = p + 1

    If a(m) = key Then flag = False

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

Loop

数组元素a(1)到a(1000)中存放着升序排列的数据。下列说法正确的是（    ）

A、若key的值小于a(1)，则执行该段程序后，变量j的值等于1

B、若key的值等于a(1)，则执行该段程序后，变量p的值等于10

C、若key的值等于a(1000),则执行该段程序后，变量i的值等于1001

D、无论key的值是否在数组a中，执行该段程序后，变量i的值均不可能等于m