已知一个等腰直角三角形的面积为4,则它的斜边长为