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