12 with a projected high of 20 in the DC area today.