( 12 , 445 .)