g:=Group(a,b,c); Size(g);