udev_device_get_sysnum(index.php) - phpMan