( 3994 ) Red.