group() {
	circle($fn = 0, $fa = 12, $fs = 1, r = 1);
}