Serial numbers for dirprt40: