如果一个直角三角形的两条直角边的长分别为5、12，则斜边上的高的长度为．