菱形ABCD的一条对角线长为6边AB的长是方程x的平方-7x+12=0的一个根则菱形ABCD的周长为多少