validator.w3.org:80 down?

validator.w3.org (the port 80 version) isn't responding at the moment. 
The port 8001 version seems fine.

Received on Monday, 29 September 2003 13:05:50 UTC