FTSE 100 buoyed by gains for mining stocks

The FTSE 100 Index closed up 74.18 points at 9,940.71