math_fact: 6143 is the smallest prime that contains twelve 1's in binary.
trivia: 6143 is a boring number.
historical_date: October 25th is the day in 1147 that the Portuguese, under Afonso I, and Crusaders from England and Flanders conquer Lisbon after a four-month siege.