( 1 , 8S0 .)