一个圆的周长是12.56那么他的半圆周长是()厘米