一个等腰直角三角形的三个顶点分别在正三棱柱的三条侧棱上．已知正三棱柱的底面边长为4，则该等腰直角三角形的斜边长为（    ）