There is a small mistake on the download page. Description sais that there are two 64 bit versions to download but one of the links points to dl32.php.
Yes I also noticed that the 64 bit version (the second link) does not work I get this error when trying to run it from all the different mirrors that I tried:
--------------------------- Error --------------------------- The setup files are corrupted. Please obtain a new copy of the program. --------------------------- OK ---------------------------