Serial numbers for fluxicon disco: