Operation Integer
getDeviceID (String devicename, String system_name), in Class
Device
Documentation
returns the deviceID