Ravi is 20 years old and his friend is 9 years younger than him. How old is the friend?