#0 "/usr/share/digits/7seg/0.gif" gif
#1 "/usr/share/digits/7seg/1.gif" gif
#2 "/usr/share/digits/7seg/2.gif" gif
#3 "/usr/share/digits/7seg/3.gif" gif
#4 "/usr/share/digits/7seg/4.gif" gif
#5 "/usr/share/digits/7seg/5.gif" gif
#6 "/usr/share/digits/7seg/6.gif" gif
#7 "/usr/share/digits/7seg/7.gif" gif
#8 "/usr/share/digits/7seg/8.gif" gif
#9 "/usr/share/digits/7seg/9.gif" gif
group commas
## group dots
## group spaces
@ 110 0 12 660
count = 938566