Hal is downloading a file from the internet. So far he has downloaded 25% of the file.

If 10 minutes have passed since he started, how long will it take to download the rest of the file?