在直角三角形中，如果一个锐角为30°，而斜边与较小直角边的和为12，那么斜边长为（    ）。