( 13 , 080 .)