( 13 040 .)