14158x2 ) ( 8512 .)