’ ( 12427 .)