What will Cristiano Ronaldo’s Man Utd shirt number be?

Cristiano Ronaldo is synonymous with the number seven, but with Edinson Cavani currently occupying the shirt at Man Utd, what number will he wear?