白卡是海关对监管车辆管理的凭证，它不是每辆车都拥有的，而是运输海关指定货物的车辆才有的。( )

ABC会计师事务所承接了C公司2011年度财务报表审计业务，委派了甲、乙注册会计师进行审计。甲、乙注册会计师对应收账款审计采用了积极式函证程序，其中：债务人W和债务人M回函结果与C公司会计记录不一致；对债务人N进行了首次发函后未得到回函。
要求：

出现差异时注册会计师应相应实施哪些主要的审计程序