( 13 , 988 .)