已知一个菱形的边长为4,它的两条对角线长度之和为12,那么该菱形的两条对角线长度之积为多少?