 Well, he's been with the department for 43 years, and he finally decided to retire. His retirement date will be the 12th of July, so last night was the last city council meeting. He attends all of them and sits right by the door, but we won't see him next council meeting on the 15th of July. So we wanted to recognize his service, and as I say, he joined his patrolmen in 81, and he was promoted to sergeant 10 years later in 91.