43 7 , c .)