ロスタイムって呼び方懐かしいな
最近はアディショナルタイムと呼ぶのが普通になってる