已知函数f(x)=x-3 (X≥9)