return ("label=" + label + ",state=" + state + ",group=" + group + "," + super.paramString());
return ("label=" + label + ",state=" + state + "," + super.paramString());
paramString(){  return ("label=" + label + ",state=" + state + ",group=" + group	  + "," + super.paramString());}