This year in history: 1742