( 4237 ) f. J.