static string TokenName(Player p) { return((Server.Config.DollarNames ? "$" : "") + Colors.StripUsed(p.DisplayName)); }