DEVICE NUMBERS etc.