审计程序：①对于选定函证而客户不同意函证的12笔应收账款应当实施替代审计程序（检查与销售有关的文件，包括销售合同、销售订单、销售发票副本和发运凭证），如果不能实施替代审计程序，应视为审计范围受到限制。②对于通过积极函证方式没有收回的16封询证函应当再次寄发询证函，如果仍然得不到询证函，应当实施替代审计程序（检查与销售有关的文件，包括销售合同、销售订单、销售发票副本和发运凭证）。③对于数据不符的函证结果应当分析原因，得出样本错报金额并由样本错报金额推算总体错报金额。