How much is XLVII? (As in, Super Bowl XLVII.)