# $$page_content .= print_links( "Australia and New Zealand", $file,
# @nonus_australian_sites );
# $$page_content .= print_links( "Asia", $file, @amd64_asian_sites );
# $$page_content .= print_links( "South America", $file, @nonus_south_american_sites );
# $$page_content .= print_links( "Australia and New Zealand", $file,
# @nonus_australian_sites );
# $$page_content .= print_links( "Asia", $file, @amd64_asian_sites );
# $$page_content .= print_links( "South America", $file, @nonus_south_american_sites );