已知一个直角三角形的两条直角边的长恰好是方程x的平方-7x+12=0的两个根,则这个直角三角形的斜边长是.