N712 billion