12173 , 3 .)