udev_device_get_sysnum(category27-allgemeinwissen.html) - phpMan