N17.5 billion