在梯形ABCD中,AB//DC,梯形的高为12,AD=13,BC=15,CD=7,那么AB=