use batch file