注册会计师为证实资产负债表所列现金是否真实存在，下列程序中必须执行的是（　　）