_:b58213 . _:b58213 . _:b402284 . _:b402284 "42"^^ . _:b58213 _:b402284 . _:b402284 "CZK"^^ .