getDeviceID is a function that is part of the platform APIs.
This has been introduced in TI-Nspire OS 4.2 (Changes).
Since the API level 2.7.
platform.getDeviceID()