已知一个直角三角形的斜边上的中线长为6，则此直角三角形斜边的长为__▲_____。