example batch file