如果一个直角二角形的两条直角边的长分别是5和12，那么这个直角三角形斜边长是。