‘ ( 1242 .)