udev_device_get_sysnum(pdf.php) - phpMan