( 5242 ) Hofolja;