( 12 , 457 .)