( 12 730 .)