windows batch files that I learned by helping my friend Christian