Input: Mannen :
Output: 

 None