为证实被审计单位当期所有销售业务均已记录，注册会计师实施的下列程序中，最为有效的是______。
函证应收账款余额
从发运凭证追查至主营业务收入明细账
从发运凭证追查至销售发票
从主营业务收入明细账追查至发运凭证
[解析] B项，属于顺查，有助于实现完整性目标。