Paste the domainname/ip address here so I know you are sincere. If you can't find it you don't need to talk about building wallets.
Gee do you mean these as found in net.ccp (at line 1190) ?
// DNS seeds
// Each pair gives a source name and a seed name.
// The first name is used as information source for addrman.
// The second name should resolve to a list of seed addresses.
static const char *strMainNetDNSSeed[][2] = {
{"alltheco.in", "karmaseeder.alltheco.in"},
{NULL, NULL}
};
static const char *strTestNetDNSSeed[][2] = {
{"alltheco.in", "testnet-karmaseeder.alltheco.in"},
{NULL, NULL}
};