已知一个直角三角形的两条直角边的长恰好是方程2x的平方-8x=7=0的两个实数根,则这个直角三角形斜边长是?