已知在矩形ABCD中,相邻两边的长分别为5和12,则矩形ABCD的一条对角线的长等于多少?