已知直角三角形的2条直角边的长分别是5和13,则斜边的长是