9894人でした。

試合中に一瞬だけ「入場者数12○○○人」みたいな画面が表示がされましたが、あれは映像スタッフさんのミスだと思います。