|2017/09/20 18:39:30||UP, HTTP 200|
- Press CTRL + F5. If problem persists, don't worry.
- Make sure there isn't a problem with connecting to other websites.
- Use alternative URLs.
- Check firewall. It may have blocked the domain.
Clear DNS cache (for Windows) - Start > Command Prompt > type "ipconfig /flushdns"
If you are not satisfied with w3.org's availability or services, please, feel free to join the discussion.