N71 billion