( 13 , 457 .)