对于未函证的应收账款，审计人员应当执行的最有效的审计程序是（）