( 20 , 412 .)