Dobby takes 5 minutes to finish a lap in swimming. How much time will Dobby take to finish 4 such laps?