( 12 , 345 .)