batch file for convenience purposes