矩形的两条对角线所夹的锐角为，较短的边长为12，则对角线长为           。