A注册会计师负责对甲公司2012年度财务报表进行审计。在审计银行存款时，A注册会计师遇到下列事项，请代为做出正确的专业判断。 如果甲公司某银行账户的银行对账单余额与银行存款日记账余额不符，最有效的审计程序是( )。