( 12 , 283 .)