Everything Thomas does is a ritual. He locks and unlocks the front door three times before entering and leaving his house. When he walks down the street he counts the number of cracks that separate the sidewalk. Which of the following anxiety disorders is Thomas experiencing?