直角三角形周长为12,当其面积最大时,斜边长为多少?