If f(x)=4+x+7, then what is f(9)?