( 9200 ) Red.