function GetProgress(s) 
  return string.match(s, '^Progress: (%d+)%%');
end