div显示四周边框:9人挖9米长的沟要9小时,预计23米长的沟23个小时要多少人挖?