一个半圆的周长是15.42分米,这个圆的周长是多少分米