已知分段函数f(x)={x-3 x大于等于9 / f[f(x+4)] x小于9} 则f(7)=?