4 ( 12434 .)