( 217 80 .)