( 872 ) Wallén 4?