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