已知半圆周长为25.7厘米,求这个半圆的直径是多少?