"that President Trump would pick the number 17"