下半场补时9分钟。