涵洞施工宜在枯水季节进行，施工前须在施工范围两端河道或泄道上筑坝阻水，坝顶比施工期间可能出现的最高水位至少要高出( )m，以防淹没。