“ ' ( 8342)