当地下水位高于水池基坑底面时，必须把水位降至基底以下不少于( )mm处。