Input: Some brief cases have horns on them
Some brief cases have locks on them

Output: first