( 13 088 .)