已知一个直角三角形的两条直角边长分别为5和12,则斜边上的高是?