XYZ会计师事务所委派甲注册会计师在对A公司2011年度财务报表进行审计时，决定对A公司的应收账款实施函证程序，在进行函证的过程中，遇到以下问题，请代为作出正确的专业判断。 对通过函证无法证实的应收账款，注册会计师应当执行的最有效的审计程序是( )。