12642 , 3 .)