(* List of known servers *)
 known_servers = [
  {     server_network = Donkey
     server_age = 255158579
     server_addr = ("83.233.30.103", 4500)
     server_name = "Master Server 3"
};
  {     server_network = Donkey
     server_age = 255162008
     server_addr = ("212.63.206.35", 4242)
     server_name = "eDonkeyServer No2"
};
  {     server_network = Donkey
     server_age = 0
     server_addr = ("83.233.30.55", 4500)
     server_name = "Master Server 1"
};
  {     server_network = Donkey
     server_age = 255161963
     server_addr = ("83.140.191.178", 4500)
     server_name = "StormShare 8"
};
  {     server_network = Donkey
     server_age = 255161923
     server_addr = ("83.233.30.154", 4500)
     server_name = "Master Server 4"
};
  {     server_network = Donkey
     server_age = 255161973
     server_addr = ("85.125.193.122", 4500)
     server_name = ImHoTeP
};
  {     server_network = Donkey
     server_age = 0
     server_addr = ("83.140.191.162", 4500)
     server_name = "StormShare 3"
};
  {     server_network = Donkey
     server_age = 255161952
     server_addr = ("83.140.191.161", 4500)
     server_name = "StormShare 2"
};
  {     server_network = Donkey
     server_age = 255161988
     server_addr = ("91.194.40.23", 4184)
     server_name = "TV Underground"
};
  {     server_network = Donkey
     server_age = 255161968
     server_addr = ("92.224.57.140", 4666)
     server_name = "HHSchnelsen RasierterEsel.de"
};
  {     server_network = Donkey
     server_age = 255161963
     server_addr = ("83.233.30.251", 4500)
     server_name = "Master Server 8"
};
  {     server_network = Donkey
     server_age = 255161943
     server_addr = ("83.233.30.249", 4500)
     server_name = "Master Server 9"
};
  {     server_network = Donkey
     server_age = 0
     server_addr = ("83.233.30.127", 4500)
     server_name = "Master Server 6"
};
  {     server_network = Donkey
     server_age = 255161948
     server_addr = ("195.242.153.66", 4500)
     server_name = "Sharing Kingdom 1"
};
  {     server_network = Donkey
     server_age = 0
     server_addr = ("83.233.30.98", 4500)
     server_name = "Master Server 2"
};
  {     server_network = Donkey
     server_age = 255162018
     server_addr = ("195.242.153.67", 4500)
     server_name = "Sharing Kingdom 2"
};
  {     server_network = Donkey
     server_age = 0
     server_addr = ("83.233.30.126", 4500)
     server_name = "Master Server 5"
};
  {     server_network = Donkey
     server_age = 255161933
     server_addr = ("83.233.30.247", 4500)
     server_name = "Master Server 11"
};
  {     server_network = Donkey
     server_age = 0
     server_addr = ("217.114.156.23", 4661)
     server_name = Undertaker
};
  {     server_network = Donkey
     server_age = 0
     server_addr = ("83.233.30.128", 4500)
     server_name = "Master Server 7"
};
  {     server_network = Donkey
     server_age = 255161928
     server_addr = ("195.242.152.138", 4500)
     server_name = "Sharing Kingdom 6"
};
  {     server_network = Donkey
     server_age = 255162003
     server_addr = ("194.126.175.106", 4500)
     server_name = "Sharing Kingdom 3"
};
  {     server_network = Donkey
     server_age = 0
     server_addr = ("80.94.71.80", 4232)
     server_name = icupid
};
  {     server_network = Donkey
     server_age = 255162033
     server_addr = ("88.80.28.48", 4321)
     server_name = "!-= Porn Pit =-!"
};
  {     server_network = Donkey
     server_age = 0
     server_addr = ("80.94.71.84", 4232)
     server_name = icupid
};
  {     server_network = Donkey
     server_age = 255162023
     server_addr = ("85.10.193.45", 4007)
     server_name = "eMule Security"
};
  {     server_network = Donkey
     server_age = 0
     server_addr = ("80.237.156.72", 4661)
     server_name = "www.UseNeXT.to 2"
};
  {     server_network = Donkey
     server_age = 0
     server_addr = ("80.94.71.83", 4232)
     server_name = icupid
};
  {     server_network = Donkey
     server_age = 255161944
     server_addr = ("83.140.191.163", 4500)
     server_name = "StormShare 4"
};
  {     server_network = Donkey
     server_age = 255161993
     server_addr = ("194.126.175.170", 4500)
     server_name = "Sharing Kingdom 4"
};
  {     server_network = Donkey
     server_age = 0
     server_addr = ("87.230.83.44", 4661)
     server_name = "www.UseNeXT.to"
};
  {     server_network = Donkey
     server_age = 255161983
     server_addr = ("83.140.191.160", 4500)
     server_name = "StormShare 1"
};
  {     server_network = Donkey
     server_age = 255161958
     server_addr = ("194.126.175.202", 4500)
     server_name = "Sharing Kingdom 5"
};
  {     server_network = Donkey
     server_age = 255161991
     server_addr = ("83.140.191.176", 4500)
     server_name = "StormShare 6"
};
  {     server_network = Donkey
     server_age = 0
     server_addr = ("80.94.71.85", 4232)
     server_name = icupid
};
  {     server_network = Donkey
     server_age = 255161938
     server_addr = ("213.155.20.16", 4242)
     server_name = "eMule Security New"
};
  {     server_network = Donkey
     server_age = 255162013
     server_addr = ("83.233.30.248", 4500)
     server_name = "Master Server 10"
};
  {     server_network = Donkey
     server_age = 255161979
     server_addr = ("83.140.191.177", 4500)
     server_name = "StormShare 7"
};
  {     server_network = Donkey
     server_age = 255161954
     server_addr = ("83.140.191.175", 4500)
     server_name = "StormShare 5"
};
  {     server_network = Donkey
     server_age = 255162028
     server_addr = ("88.191.81.111", 7111)
     server_name = "PEERATES.NET"
};]
 Overnet = {

	(* List of IP addresses to use to boot Kademlia networks *)
   boot_peers = []
}
 Kademlia = {

	(* List of IP addresses to use to boot Kademlia networks *)
   boot_peers = []
}

(*
 The following options are not used (errors, obsolete, ...) 
*)