I'm not good at windows batch script, so could you tell me what's the "::" used for here?