6.000 frcs och generalinspektören 13 , 000.