( 20 , 312 .)