R71 billion budget