_:b402147 "9"^^ . _:b58150 . _:b58150 _:b402147 . _:b58150 . _:b402147 "CZK"^^ . _:b402147 .