( 4017 ) Wilh.