( 80 , 439 .)