Input: God zij dank .
Output: 

 None