The FTSE 100 index closed up 19.76 points, 0.2%, at 9,951.14 – it had earlier traded as high as 10,046.25, a record intraday ...