push @mirrors, "ftp://ftp.belnet.be/mirror/ftp.gnu.org/gnu/$1";
push @mirrors, "ftp://ftp.mirror.nl/pub/mirror/gnu/$1";
push @mirrors, "http://mirror.switch.ch/ftp/mirror/gnu/$1";
push @mirrors, "ftp://ftp.belnet.be/mirror/ftp.gnu.org/gnu/$1";
push @mirrors, "ftp://ftp.mirror.nl/pub/mirror/gnu/$1";
push @mirrors, "http://mirror.switch.ch/ftp/mirror/gnu/$1";