( 2 57 3)