The script that can be found below can be used to quickly rename downloaded files.
Simply copy contents of the form below to new file with cmd extension, put it in folder with downloaded files and run.

SHA-1 checksums file

You can use this file to quickly verify that files were downloaded correctly.