双曲线x^2-y^2/3=1的右焦点为F,点P是渐近线上的点,且OP=2,则PF=?