/>   只是，无论如何，这名字已经不在了。

  这颗星球，如今的名字只有一个，那就是乐园星。

  ……