菱形ABCD中,对角线ACBD相交于O点,并且AB=4,CA:BD=1:√3,则菱形ABCD的面积是多少?