【题目】对通过函证无法证实的应收账款，注册会计师应当执行的最有效的审计程序是（ ）。

重新测试相关的内部控制

抽查有关原始凭据，如销售合同、销售订单、销售发票副本及发运凭证等

实施实质性程序

实施资产负债表日后的收款情況