( 13 , 888 .)