一个半圆的周长是25.7cm,这个半圆的直径是多少cm?