Where's the sensor's serial number?