一个直角三角形的两条直角边分别为5和12,斜边为13,则斜边的高应为多少?