12434 , 1 .)