相比之下，补时19分钟又算什么？