Serial numbers for vmex: