( 12 , 378 .)