直角三角形两直角边长为5和12，则它斜边上的高为.