发送短信 : Static analysis of embankment dams =