Input: KPN-topman Smits gelooft er niet in .
Output: 

 None