I downloaded sed.exe from GnuWin32 and tried to use it in my batch script. However, sed returns a different string than what I expected.