Julius Antal's regular seasons records