what should I put in the ```batchfile```?