( 12 553 .)