已知一个直角三角形的两条边长恰好是方程2x平方减8x加7等于零的两个根,则这个直角三角形的斜边长是?