How to create a batch file?