( 12 , 444 .)