advent-of-code/12021/08/08.awk

{
	for(i=12;i<=15;i++){
		len = length($i)
		count += (len==2 || len==4 || len==3 || len==7)
	}
}
END{
	print count
}