某科技有限公司研发了一款无桩借还车模式的智能硬件。人们通过智能手机就能快速租用和归还一辆单车，完成一次几公里以内的市内骑行。图为北京某用户在一天中不同时段查询到的同一区域单车分布状况。据此回答下面小题。
已知函数f（x）=a|log2x|+1（a≠0），定义函数F（x）=fx,x>0f-x,x<0，给出下列命题：
①F（x）=|f（x）|；
②函数F（x）是偶函数；
③当a＜0时，若0＜m＜n＜1，则有F（m）﹣F（n）＜0成立；
④当a＞0时，函数y=F（x）﹣2有4个零点．
其中正确命题的个数为（ ）
hú lú
jī chǔ
____
如图，港口A在观测站O的正东方向，OA=4km，某船从港口A出发，沿北偏东15°方向航行一段距离后到达B处，此时从观测站O处测得该船位于北偏东60°的方向，则该船航行的距离（即AB的长）为 ____．
