Windows 10 build 17713

There are two Windows 10 October 2018 Update builds and one Windows 10 May 2019 Update build with the build number 17713: