( 673 ) Widmark.