Change your DNS options easily with this simple batch file