Astronomy:7365 Sejong