5名挖土工在5时内挖出了5米长的水沟,如果在100时内挖出100米长的水沟,要用多少名挖土工?