已知ABCD的周长是20，△ABC的周长为17，则对角线AC的长是（    ）。