( 5242 ) Alf.