( 12 , 057 .)