注册会计师在对销售与收款循环进行审计时，遇到下列问题，请代为作出正确的专业判断。 下列审计程序对于证实资产负债表日应收账款余额是否真实，最无效的是( )。