( 12 431 .)