( 4520 ) Wilhelmina ( Javalli.