B对上市公司财务报表执行审计时，注册会计师应当实施应收账款函证程序