( 13 , 280 .)