Friday the thirteenth and the Financial Times Industrial Ordinary Shares Index 1935-94