Haha very long script for This little change, but good for people who don't know how to edit the hosts file. But me would interest what for servers are this. If it's a private one, somebody could use it to spread viruses

Should try with 127.0.0.1 or Google IP.