已知一个半圆的周长是15.42