( 13 , 057 .)