一个直角三角形两条直角边长分别为15和20,则其斜边上的高为多少?