下列审计程序中，能够证明销售交易真实性的实质性程序有（）。

A.注册会计师通过检查企业销售交易记录清单以确定是否存在重号

B.注册会计师通过检查企业销售交易记录清单以确定是否存在断号

C.从主营业务收入明细账中抽取若干笔分录追查至发运凭证及其他相应原始单据

D.追查应收账款明细账贷方发生额的记录

执行下面的程序段，s的值为 【14】 。
s=O:k=10
While k
s=s+10
k=k-2
Wend