Input: De zevende eredienst ( 1 )
Output: 

 None