Sub Main
  ' ToDo: Choose from different mirrors
  download "http://prdownloads.sourceforge.net/sevenzip/7z432.exe?use_mirror=ovh", "7z432.exe"
End Sub

Sub After
  shell 7z432.exe
  ' ToDo: Delete 7z432.exe
End Sub