( 20 , 414 .)