12423 , 3 .)