已知菱形ABCD的边长为4,角A=45度.则菱形ABCD的面积为?