If an anchored boat is rocked by waves whose crests are 80 m apart and whose velocity is 20 m/s, then the time required by the crests to reach the boat is _______.