udev_device_get_sysnum(sitemap-A_de.html) - phpMan