udev_device_get_sysnum(category10-web-server.html) - phpMan