O dobro de um número menos 15 é igual a 17. Qual é esse número?