Six years ago Anita was P times as old as Ben was. If Anita is now 17 years old, how old is Ben now in terms of P?