$$page_content .= print_links( _g( "North America" ), $file, @amd64_north_american_sites );
$$page_content .= print_links( _g( "Europe" ), $file, @amd64_european_sites );
$$page_content .= print_links( _g( "Asia" ), $file, @amd64_asian_sites );
$$page_content .= '<p>'._g( 'Note that AMD64 is not officialy included in the Debian archive yet, but the AMD64 porter group keeps their archive in sync with the official archive as close as possible. See the <a href="http://www.debian.org/ports/amd64/">AMD64 ports page</a> for current information.' ).'</p>';
$$page_content .= print_links( _g( "North America" ), $file, @amd64_north_american_sites );
$$page_content .= print_links( _g( "Europe" ), $file, @amd64_european_sites );
$$page_content .= print_links( _g( "Asia" ), $file, @amd64_asian_sites );
$$page_content .= '<p>'._g( 'Note that AMD64 is not officialy included in the Debian archive yet, but the AMD64 porter group keeps their archive in sync with the official archive as close as possible. See the <a href="http://www.debian.org/ports/amd64/">AMD64 ports page</a> for current information.' ).'</p>';