push @mirrors, "ftp://ftp.all.kernel.org/pub/$1";
push @mirrors, "http://ftp.all.kernel.org/pub/$1";
push @mirrors, "ftp://ftp.de.kernel.org/pub/$1";
push @mirrors, "ftp://ftp.all.kernel.org/pub/$1";
push @mirrors, "http://ftp.all.kernel.org/pub/$1";
push @mirrors, "ftp://ftp.de.kernel.org/pub/$1";