I found that your website marked Dokdo as Takeshima. It seems unreasonable to use the name Takeshima because it was made in the period of imperialism. And also, its original name is "Dokdo," and it has been used throughout history.