已知正比例函数满足f(3)=12,则这个函数的解析式为