Never edited hosts file before, afaik. Ping fails. Haven't tried multiple browsers. Should I try using google's DNS lookup then?