如图，在平面直角坐标系xOy中，点A的坐标为（0，4），P是x轴上一动点，把线段PA绕点P顺时针旋转60°得到线段PF，连接OF，则线段OF长的最小值是．