( 2 , 80 7 .)