k:=\#a