mozilla.org down?

[Ed Burns]

Hi Folks,

I can't get to cvs.mozilla.org, gila.mozilla.org, or irc.mozilla.org
from inside Sun.  Is it down?

Ed