Gabriel is 3 years younger than Frank. The current total of their ages right now is 17. What is Frank's age?