以下审计程序中，属于货币资金的实质性程序的有（　　　　）